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