Enumerability . decidability computability an introduction to the theory of recursive functions
by Hans Hermes, tr. by G. T. Hermann
- 2nd
- Berlin Springer-Verlag 1969
- x, 245p.
- Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band 127 .