Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)
Глушков В.М. - Синтез цифровых автоматов
Гудстейн Р.Л. - Рекурсивный математический анализ
Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств
Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели
Ершов Ю.Л. - Теория нумераций
Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода
Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций
Кушнер Б.А. - Лекции по конструктивному математическому анализу
Матиясевич Ю.В. - Десятая проблема Гильберта
Марков А.А., Нагорный Н.М. - Теория алгорифмов
Новиков П.С. - Конструктивная математическая логика с точки зрения классической
Новиков П.С. - Элементы математической логики
Расёва Е., Сикорский Р. - Математика метаматематики
Робинсон А. - Введение в теорию моделей и метаматематику алгебры
Смальян Р. - Теория формальных систем
Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез)
Успенский В.А. - Лекции о вычислимых функциях
Фейс Р. - Модальная логика
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем
Шенфилд Дж. - Математическая логика
Шенфилд Дж. - Степени неразрешимости
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста