Stephen Kleene, 1952 (10th reprint 1991), , North-Holland Publishing Company, Amsterdam NL, George Boolos, John Burgess, and Richard Jeffrey, 2002, , Cambridge University Press, Cambridge UK, paperback. cf page 74-75.