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