Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung (German Edition)
Enumerability, Decidability, Computability
Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's Theorems
Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik (Grundlehren der mathematischen Wissenschaften) (German Edition)
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)
Beweise und Widerlegungen Die Logik mathematischer Entdeckungen
Erkenntnislehre (German Edition)
Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)
