Упорядочение булевой алгебры
Троичные ЭВМ Сетунь и Сетунь 70
Компьютеризация булевой алгебры
Исчерпывающее решение неодолимой проблемы парадоксов
Формальная логика и творческий интеллект
Миникомпьютеры
Начала информатики