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