What is mathematical logic? - J N Crossley [et al] (OUP, Oxford, 1978)