Hermes, Hans

Enumerability, decidability, computability ; an introduction to the theory of recursive functions / - Berlin: Springer-Verlag, 1965 - ix, 245p. Index - Die Grundlehren der Mathematichen Wissenschaften- v. 127 .

"Translated by G. T. Herman and O. Plassmann"

511.6 / H553.ED