Der Kreisel Seine Theorie und seine Anwendungen Zweiter Band: Die Anwendungen des Kreisels
Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Erkenntnistheorie
Matrizen und Ihre Technischen Anwendungen
Aktuelle Anwendungen der Mathematik
Variationsrechnung und ihre Anwendung in Physik und Technik
Ölhydraulik Theorie und Anwendung
Anwendung der Theorie der Faktorisierungen (German Edition)
Unvollstñdigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gd̲el, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
