An edition of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit (1961)
An introduction to the theory of recursive functions.
By Hans Hermes
Publish Date
1969
Publisher
Springer
Language
eng
Pages
246
Description:
subjects: Algorithms, Computable functions, Gödel's theorem, Recursive functions, Berechenbarkeit, Fonctions récursives, Mathématiques, Rekursive Funktion, Entscheidbarkeit, Algorithmentheorie, Aufzählbarkeit, Logique