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