1979, изд-во: Наука, город: Москва, стр. : 320 с., обложка: Твердый издательский переплет, формат: Обычный, состояние: Отличное. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов, имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги: теория моделей и теория доказательств, изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов.
