TY  - BOOK
AU  - Hermes, Hans.
TI  - Enumerability, decidability, computability: an introduction to th e theory of recursive functions 
U1  - 512.817 HER 
PY  - 1965///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Recursive functions
N1  - Includes bibliographies
ER  -