Введение в математическую логику
Математическая логика и основания математики
Математическая логика
Математическая логика и теория множеств. (О соотношении абстрактного и конкретного)
Алгоритмы и рекурсивные функции
Практическая логика
Математическая логика и теория алгоритмов
Введение в математическую философию. Избранные работы
Самарские олимпиады
Задачи и упражнения по математической логике и теории алгоритмов
Логическое программирование. Сборник статей
Строгий мир логики
Полимино
Математическая теория логического вывода