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