TY  - BOOK
AU  - Boolos George
AU  -  Jefrey Richard
TI  - Computability and logic
U1  - R14, M0 
PY  - 1980///
CY  - Cambridge
PB  - Cambridge University Press     
KW  - PHILOSOPHY
ER  -