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