Enumerability, decidability, computability: an introduction to th e theory of recursive functions /
by Hans Hermes; translated by G.T Herman and O. Plassmann.
- Berlin; New York: Springer-Verlag, 1965.
- ix, 245 p.: ill.; 24 cm.
- Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellu ngen; Bd. 127. .