What is mathematical logic? - Crossley, J. N. (Dover publications, Inc, 1990)