Computability and Logic by G.S. Boolos and R.C. Jeffrey. The Reasoner, v. 3, n. 11, 1 Nov.2009.