Жар холодных числ и пафос бесстрастной логики Формализация мышления от антич. времен до эпохи кибернетики - Бирюков Б.В., Тростников В.Н (Знание, 1977)