Е 80 |
Ершов, Ю. Л. Математическая логика [Текст] : Учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. – 2-е изд., испр. и доп. – М. : Наука, 1987. – 336с. – 30000.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов. Для студентов математических специальностей вузов. |