TY  - BOOK
AU  - Boolos George
AU  -  Jeffrey Richard
TI  - Camputability and logic
U1  - R14, M0 
PY  - 1980///
CY  - Cambridge
PB  - Cambridge University Press        
KW  - Philosophy-Symbolic Logic
ER  -