Карри Х.Б.
Основания математической логики
Ноокулон. Управление реальностью.