What is mathematical logic? [By J.N. Crossley [and others]