Яворская Т.Л. - Математическая логика - 6. Логика I порядка. Выразимость. Изоморфизм

Смотрите также