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