TY  - BOOK
AU  - Boolos, George S.
ED  - Jeffrey, Richard C.
TI  - Computability and logic
SN  - 0521389232
U1  - 511.3 
PY  - 1989///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computable Functions
KW  - Recursive Functions
KW  - Symbolic Logic
KW  - Mathematical Logic
ER  -