Чанг Ч.Л.
Математическая логика и автоматическое доказательство теорем
Резонансы. Настройка на источники Энергии
