1984, изд-во: Наука, город: М., стр. : 320 с., обложка: Твердый издательский переплет, формат: Обычный, состояние: Отличное. Представлено полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Значительная роль в книге отведена упражнениям.