What is mathematical logic? - CROSSLEY J N and others (London Oxford University Press, 1972)