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" Dewey Class. No.: 511.6 / H553.ED