Computability and logic - Boolos George; Jeffrey Richard (Cambridge University Press, 1974)
Keywords: Computability; Mathematical logic