В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики.

Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.

Книги на ту же тему

1. Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
2. Математическая логика, Клини С. К., 1973
3. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
4. Алгебра логики в задачах, Гиндикин С. Г., 1972
5. Заметки по логике, Линдон Р., 1968
6. Логическая семантика и модальная логика, Таванец П. В., ред., 1967
7. Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
8. Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
9. Алгебра логики и интегральные преобразования в краевых задачах, Рвачев В. Л., Слесаренко А. П., 1976
10. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках, Горбатов А. В., 2000