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