TY  - BOOK
AU  - Boolos, George S
AU  - Burgess, John P
AU  - Jeffrey, Richard C
TI  - Computability and logic
SN  - 0521007585
CY  - UK
ER  -