Enumerability, decidability, computability; an introduction to the theory of recursive functions
by Hans Hermes. Translated by G.T Herman and O. Plassmann.
- Berlin, New York, Berlin, New York, Springer-Verlag, 1965.
- Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127 .
- Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ; Bd. 127. .