Математическая логика
Аристотель VS Будда
Аристотель Аналитики первая и вторая
Философский лабиринт. Сборник задач и упражнений по философии. Учебное пособие
Упорядочение булевой алгебры
Троичные ЭВМ Сетунь и Сетунь 70
Методы математической физики. Уравнения математической физики
Формальная логика и творческий интеллект
Задачи и упражнения по математической логике и теории алгоритмов
Как же называется эта книга?
Алиса в стране смекалки
Принцесса или тигр
Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Введение в логику.