Аляев Ю.А.
Дискретная математика и математическая логика
Ноокулон. Управление реальностью.