Enumerability, decidability, computability.
Subtitle: An introduction to the theory of recursive functions.
By: Translated by G. T. Hermann and O. Plassmann.
Edition: 2d rev. ed.
Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;; Bd. 127
Publisher: Springer
Published: 1969
Place of publication: Berlin; New York
Language: eng
Number of pages: 245
Subjects: Recursive functions.; Algorithms.; Gödel's theorem.; Computable functions.
Notes: Includes bibliographies.
Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.