TY  - BOOK
AU  - Rogers,H.
ED  - MIT Press
TI  - Theory of recursive functions and effective computability
SN  - 0262680521
U1  - 511.3 23
PY  - 1988///.
CY  - Cambridge: 
PB  - The MIT Press, 
KW  - Metamathematics
KW  - Recursive functions
KW  - Computable functions
ER  -