- Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987.
- Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Физматлит, 2004.
- Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984.
- Клини С. К. Математическая логика. – М.: Мир, 1973.
- Гильберт Д., Аккерман В. Основы теоретической логики. – М.: ИЛ, 1947.
- Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: Изд-во Моск. ун-та, 1982.
- Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1986.
- Девис М. Прикладной нестандартный анализ. – М.: Мир, 1980.
- Успенский В.А. Что такое нестандартный анализ? – М.: Наука, 1987.
- Математическая теория логического вывода. Сб. переводов. – М.: Наука, 1967.
- Новиков П. С. Элементы математической логики. – М.: Наука, 1973.
- Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983.
- Игошин В.И. Математическая логика и теория алгоритмов. – М.: ИЦ Академия, 2004.
- Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. – М.: ИЦ Академия, 2006.
- Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. – М.: ИНФРА-М, Новосибирск: Изд-во НГТУ, 2004.
- Фейс Р. Модальная логика. – М.: Наука, 1974.
- Энгелер Э. Метаматематика элементарной математики. – М.: Мир, 1987.
- Грэй П. Логика, алгебра и базы данных. – М.: Машиностроение, 1989.
- Яглом И.М. Булева структура и ее модели. М.: Сов. радио, 1980.
- Шабунин Л.В. Математическая логика. Логика высказываний и логика предикатов. – Чебоксары: Изд-во Чуваш. ун-та, 2003.