Дехтярь М.И.
Логика предикатов
Ноокулон. Управление реальностью.