G. Boolos, J. P. Burgess, and R. Jeffrey, Computability and Logic