Попов Ал.Ив.
Введение в математическую логику
Ноокулон. Управление реальностью.