Пальчунов Д.Е.
Математическая логика и теория алгоритмов: учебное пособие
Резонансы. Настройка на источники Энергии