TY  - BOOK
AU  - Boolos George S
AU  - Burgess John P
AU  - Jeffrey Richard c
TI  - Computability and logic
SN  - 0-521-00758-5
U1  - 511.3 
PY  - 2002///
CY  - Cambridge
PB  - CUP
KW  - Computable functions
KW  - Mathematical logic
KW  - Recursive functions
KW  - Symbolic logic
ER  -