TY  - BOOK
AU  - Boolos, George
AU  - Jeferey, Richard
TI  - COMPUTABILITY AND LOGIC
U1  - 517.5 
PY  - 1974///
CY  - London
PB  - Cambridge University Press
KW  - Logic, Symbolic And Mathematical
ER  -