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