Enumerability, decidability, computability : an introduction to the theory of recursive functions /
Hans Hermes ; Translated by G.T Herman, O. Plassmann.
- Berlin ; New York : Springer-Verlag, c1965
- ix, 245 p. : ill. ; 24 cm.
- Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127 .
- Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127. .