Другая компьютерная литература, Математика
Решение логических и игровых задач (логико-психологические этюды)
Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний....