TY  - BOOK
AU  - Hermes,Hans
TI  - Enumerability, decidability, computability: an introduction to the theory of recursive functions 
T2  - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen,
U1  - 510 23
PY  - 1965///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Mathematics
KW  - Recursive functions
KW  - Algorithms
KW  - Gödel's theorem
KW  - Computable functions
N1  - Includes bibliographies and index.
ER  -