Enumerability, decidability, computability
Subtitle: an introduction to the theory of recursive functions
By: by Hans Hermes. Translated by G.T Herman and O. Plassmann.
Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen,; Bd. 127; Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;; Bd. 127.
Publisher: Springer-Verlag
Published: 1965
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.