TY  - BOOK
AU  - Boolos,  George S.
AU  -  Jeffrey,  Richard C.
TI  - Computability and logic
U1  - 511.3 B63C 
ER  -