Computability and logic - Boolos, George; Jeffrey, Richard C. 1926-2002 (Cambridge Univ. Press, 1994)