Чанг Ч.Л.
Математическая логика и автоматическое доказательство теорем
Радионики Карла Вельца. Технологии оргона