Логика и компьютер. Моделирование рассуждений и проверка правильности программ

Резонансы. Настройка на источники Энергии