Computability and Logic by G.S. Boolos and R.C. Jeffrey (The Reasoner, 2009)