Enumerability, decidability, computability :
Hermes, Hans.
Enumerability, decidability, computability : an introduction to the theory of recursive functions. Translated by G. T. Hermann and O. Plassmann. - 2d rev. ed. - New York, Springer, ©1969. - x, 245 p. 24 cm. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127 .
Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Includes bibliographies.
9783642461804
76089552
GDB***
Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
QA248.5 / .H413 1969
510.01 / HER-E
Enumerability, decidability, computability : an introduction to the theory of recursive functions. Translated by G. T. Hermann and O. Plassmann. - 2d rev. ed. - New York, Springer, ©1969. - x, 245 p. 24 cm. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127 .
Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Includes bibliographies.
9783642461804
76089552
GDB***
Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
QA248.5 / .H413 1969
510.01 / HER-E