TY  - GEN
AU  - Boolos, George
AU  - Jeffrey, Richard
TI  - Computability and logic
SN  - 052120402X
U1  - 160 
PY  - 1974///
CY  - London
PB  - Cambridge U.P.
KW  - LOGIC
KW  - PSYCHOLOGY
ER  -