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