Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Subtitle: Einführung in die Theorie der rekursiven Funktionen.
Series: Die Grundlehren der mathematischen Wissenschaften -- 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.