А) ОСНОВНАЯ ЛИТЕРАТУРА:
1.Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. – С.-Пб.: Издательство “Лань”, 2008.
2.Ершов Ю.Л., Палютин Е.А. Математическая логика. – СПб.: Издательство “Лань”, 2004.
3.Игошин В.И. Математическая логика и теория алгоритмов. – М.: Издательский центр “Академия”, 2004.
4.Игошин В.И. Задачник-практикум по математической логике. – М.: Издательский центр “Академия”, 2005.
5.Лавров И.А. Математическая логика. – М.: Издательский центр “Академия”, 2008.
6.Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Издательский центр “Академия”, 2007.
7.Лихтарников Л.М., Сукачева Т.Г. Математическая логика. – С.-Пб.: Издательство “Лань”, 2008.
Б) ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА:
8.Клини С. Введение в метаматематику / Пер. с англ. – М.: ИЛ, 1961.
9.Клини С. Математическая логика / Пер. с англ. – М.: Мир, 1973.
10.Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: Изд-во МГУ, 1984.
11.Кондаков Н.И. Логический словарь-справочник. – М.: , 1975.
12.Коэн П. Дж. Теория множеств и континуум-гипотеза. – М.: Мир, 1969.
13.Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1965.
14.Математическая логика (Под общей редакцией А.А. Столяра и др.) – Минск: Вышейшая школа, 1991.
15.Мендельсон Э. Введение в математическую логику. – М.: Наука, 1976.
16.Новиков П.С. Элементы математической логики. – М.: Наука, 1973.
17.Смаллиан Р.М. Как же называется эта книга ? – М.: Мир, 1981.
18.Смаллиан Р.М. Принцесса или тигр ? – М.: Мир, 1985.
19.Чёрч А. Введение в математическую логику. – М: Мир, 1960.
20.Эдельман С.Л. Математическая логика. – М., 1975.