Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen /
Hermes, Hans.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen / von Hans Hermes. - Berlin : Springer-Verlag, 1961. - 246 p. ; 24 cm. - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 109 . - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 109 .
Includes bibliography & index
Algorithms.
Computable functions.
Gödel's theorem.
Recursive functions.
510 / HEA 1961
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen / von Hans Hermes. - Berlin : Springer-Verlag, 1961. - 246 p. ; 24 cm. - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 109 . - Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 109 .
Includes bibliography & index
Algorithms.
Computable functions.
Gödel's theorem.
Recursive functions.
510 / HEA 1961