Mathematik mit Kalkülen und Maschinen. - Cohors-Fresenborg, Elmar (Logik und Grundlagen der Mathematik, 1977)