Самохин А.В.
Математическая логика и теория алгоритмов
Ноокулон. Управление реальностью.
