Computability and logic - Boolos, George 1940-1996; Jeffrey, Richard C. 1926-2002 (Univ. Press, 1974)