Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Subtitle: Einführung in die Theorie der rekursiven Funktionen.
Edition: 2. Aufl.
Series: Heidelberger Taschenbücher,; Bd. 87
Publisher: Springer-Verlag
Published: 1971
Place of publication: Berlin; New York
Language: ger
Number of pages: 246
Subjects: Recursive functions.; Algorithms.; Gödel's theorem.; Computable functions.
Notes: Includes bibliographies.