Теория доказательств
Функции комплексного переменного с Элементами операционного исчисления
Введение в алгебру. Основы алгебры
Введение в математическую философию. Избранные работы
Великий треугольник или странствуя приключений и беседы двух филоматиков
Теория рекурсивных функций и эффективная вычислимость
Пособие по математике для поступающих в вузы
Математическая Логика
Смекалочка №11 за 2011 год. Логика в математике. Развивающие задания для детей 5-7 лет
Табличные методы для классической логики высказываний и классической логики предикатов
Лекции по математической логике. Часть 1
Лекции по математической логике. Часть 2
Математическая логика
Математическая логика и теория алгоритмов
Системный анализ проблемы методология приложения
