Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
Berlin : Springer, 1961.
246 págs. : ilustraciones ; 24 cm.
Serie: Die Grundlehren der mathematischen Wissenschaften ; Bd. 109
Includes bibliography.
Reseña: MathSciNet, 26 #1252