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