TY  - BOOK
AU  - Hermes Hans
TI  - Aufzahlbarkeit,entscheidbarkeit berechenbarkeit : einfuhrung in die theorie der rekursiven funktionen
U1  - 511.35=3 
PY  - 1961///
CY  - Gottingen
PB  - Springer-Verlag
KW  - Recursion theory
ER  -