Enumerability, decidability, computability : an introduction to the theory of recursive functions /
Hermes, Hans.
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; Translated by G.T Herman, O. Plassmann. - Berlin ; New York : Springer-Verlag, c1965 - ix, 245 p. : ill. ; 24 cm. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127 . - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127. .
Includes bibliographies and index.
Mathematics
Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
510 / HEE 1965
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; Translated by G.T Herman, O. Plassmann. - Berlin ; New York : Springer-Verlag, c1965 - ix, 245 p. : ill. ; 24 cm. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. 127 . - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127. .
Includes bibliographies and index.
Mathematics
Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
510 / HEE 1965