Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Subtitle: Einführung in die Theorie der rekursiven Funktionen.
Series: Die Grundlehren der mathematischen Wissenschaften,; Bd. 109; Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;; Bd. 109.
Publisher: Springer
Published: 1961
Place of publication: Berlin
Language: ger
Number of pages: 246
Subjects: Recursive functions.; Algorithms.; Gödel's theorem.; Computable functions.
Notes: Includes bibliography.