TY  - BOOK
AU  - Boolos, George S., Burgess, John P. and Jeffrey, Richard C.
TI  - Computability and logic
SN  - 9780521701464
U1  - 511.3 
PY  - 2007///
PB  - Cambridge
KW  - Philosophy
ER  -