Метакидес Георг
Принципы логики и логическое программирование
Ноокулон. Управление реальностью.