Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

М.: Физматлит, 2004. — 128 с. — ISBN 5-9221-0278-8. В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ.
Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, пед. институтов, а также вузов с углубленным изучением информатики и кибернетики. Содержание: Основные понятия теории множеств
Языки первого порядка
Высказывания
Логические операции
Кванторы
Элементы теории доказательств
Теорема Гёделя о полноте
Теория алгоритмов