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