TY  - BOOK
AU  - Boolos, George S.
TI  - Computability and logic
U1  - 511.3 BOO 
CY  - Cambridge
ER  -