Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung (German Edition)
Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's Theorems
Die Gödel'schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Berechenbarkeit und Unlösbarkeit Eine kurze Einführung für Mathematiker und Informatiker
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)
Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithment, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat
Einführung in die mathematische Logik
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)
Mathematical Logic
