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