TY  - BOOK
AU  - BOOLOS George
AU  -  JEFFREY Richard
TI  - Computability and logic
SN  - 0 521 23479 4
U1  - R14, M0 
PY  - 1980///
CY  - London
PB  - Cambridge university press        
ER  -