TY  - BOOK
AU  - Boolos/Burgess/Jeffrey
TI  - Computability and Logic 
SN  - 9781139164931
PB  - Cambridge University Press
KW  -  Philosophy
UR  - https://doi.org/10.1017/CBO9781139164931
ER  -