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