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