Литература
Слайды некоторых лекций
Учебные материалы к лекциям
Functions and Relations (pdf). Элементарный текст про функции и отношения, теоретико-множественные обозначения и т.п., но на английском языке.
Аксиомы теории множеств (pdf) Неоконченный и сырой текст про аксиомы теории множеств, натуральный ряд и индукцию.
Упорядоченные множества и аксиома выбора (pdf)
Логика высказываний и логика предикатов (pdf)
Теорема о корректности для логики предикатов (pdf)
Книги
Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. М.: МЦНМО, 2012.
Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М.: МЦНМО, 2012.
Клини С.К. Математическая логика. Москва, 1973
Мендельсон Э. Введение в математическую логику. М.: Наука. 1971.
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. М.: Физматлит, 2002.
Колмогоров А. Н., Драгалин А. Г. Математическая логика. М.: УРСС, 2004.
Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. 3-е изд. М.: Физматлит, 1995.
Крупский В. Н, Плиско В. Е. Математическая логика и теория алгоритмов. М.: ДРОФА, 2013.