Булевы функции
Логика и методология системных исследований
Математическая логика и основания математики. Математика метаматематики
Логика объяснения
Система логики силлогистической и индуктивной
Формальная логика и творческий интеллект
Упорядочение булевой алгебры
Троичные ЭВМ Сетунь и Сетунь 70
История, логика, наука
Наглядный справочник по математике с примерами для абитуриентов, школьников, учителей
Доказательства и опровержения. Как доказываются теоремы
Основания математической логики
Сборник задач по математике для втузов
Математический анализ: введение в анализ, производная, интеграл справочное пособие по высшей математике
Задачи по теории множеств, математической логике и теории алгоритмов
Азбука математической логики
