What is mathematical logic? - Crossley, John N. (Oxford paperbacks university series, 1972)