What is mathematical logic? - Crossley, John N. (Dover Publications, 1990)