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