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