COMPUTABILITY AND LOGIC - Boolos, George; Jeferey, Richard (London Cambridge University Press, 1974)
Keywords: Logic, Symbolic And Mathematical