Мальцев А.И.
Избранные труды. В двух томах
Алгебраические системы
Алгоритмы и рекурсивные функции
Ноокулон. Управление реальностью.