Hermes, Hans.

Enumerability, decidability, computability: an introduction to th e theory of recursive functions / by Hans Hermes; translated by G.T Herman and O. Plassmann. - Berlin; New York: Springer-Verlag, 1965. - ix, 245 p.: ill.; 24 cm. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellu ngen; Bd. 127. .

Includes bibliographies.


Recursive functions.

512.817 HER