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

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

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

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

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

Книги

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

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

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

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

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

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

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

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