Hermes, Hans.

Enumerability, decidability, computability; an introduction to the theory of recursive functions by Hans Hermes. Translated by G.T Herman and O. Plassmann. - Berlin, New York, Berlin, New York, Springer-Verlag, 1965. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127 . - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ; Bd. 127. .

Includes bibliographies.

65012556 //r84


Recursive functions.
Algorithms.
Godel's theorem.
Computable functions.

QA248.5 / .H413

164