00559nam a2200145Ia 4500008004100000082001900041100001700060245010500077260003600182300002000218490006300238500005000301700003100351700003100382260312b        |||||||| |||| 00| 0 eng d  a511.6bH553.ED  aHermes, Hans  aEnumerability, decidability, computabilityb; an introduction to the theory of recursive functions /  aBerlin:bSpringer-Verlag,c1965  aix, 245p. Index  aDie Grundlehren der Mathematichen Wissenschaften-v v. 127  a"Translated by G. T. Herman and O. Plassmann"  aHerman, G. T.etranslator.  aPlassmann, O.etranslator.