Степанов Е.О.
Основы формальных логических языков
Основы теории алгоритмов
Ноокулон. Управление реальностью.