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