М 50 |
Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; Пер. с англ. Ф.А.Кабакова. – 2-е изд., испр. – М. : Наука, 1976. – 320 с.
Рассматриваются логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, освещены также теория моделей и аксиоматическая теория множеств. |