Computabilitty and Logic - Boolos George S. (New York Cambridge University Press, 1974)