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