TY  - BOOK
AU  - Hermes,Hans
TI  - Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit: Einfuhrung in die Theorie der rekursiven Funktionen 
SN  - 3540053344
PY  - 1971///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Recursive functions
KW  - Algorithms
KW  - Godel's theorem
KW  - Computable functions
N1  - Includes bibliographies
ER  -