Чанг Ч.Л.
Математическая логика и автоматическое доказательство теорем
Ноокулон. Управление реальностью.
