Чёрч Алонзо
Введение в математическую логику. Том 1
Ноокулон. Управление реальностью.