• Конспект лекций (и некоторой части семинаров) по теории множеств 2022 (pdf) Возможны ошибки и неточности.

• Functions and Relations (pdf). Элементарный текст про функции и отношения, теоретико-множественные обозначения и т.п., но на английском языке.

• Аксиомы теории множеств (pdf) Неоконченный и сырой текст про аксиомы теории множеств, натуральный ряд и индукцию.

• Упорядоченные множества и аксиома выбора (pdf)

• Логика высказываний и логика предикатов (pdf)

• Теорема о корректности для логики предикатов (pdf)

• Теорема Гёделя о неполноте (pdf)

• Слайды лекций по теории алгоритмов и теории вычислимости: Лекция 1, Лекция 2, Лекция 3, Лекция 4, Лекция 5.

• Определимость и автоморфизмы часть 1 и часть 2.

• Теории Хенкина (pdf)

• Теоремы Лёвенгейма-Сколема (о понижении мощности) и Гёделя-Мальцева (о компактности) (pdf)

Книги

• Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. 5-е изд., М.: МЦНМО, 2017

• Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. 5-е изд., М.: МЦНМО, 2017

• Верещагин Н. К., Шень. А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 5-е изд., М.: МЦНМО, 2017

• Клини С.К. Математическая логика. Москва, 1973

• Мендельсон Э. Введение в математическую логику. М.: Наука. 1971.

• Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. М.: Физматлит, 2002.

• Колмогоров А. Н., Драгалин А. Г. Математическая логика. М.: УРСС, 2004.

• Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. 3-е изд. М.: Физматлит, 1995.

• Крупский В. Н, Плиско В. Е. Математическая логика и теория алгоритмов. М.: ДРОФА, 2013.