Crossley on Mathematical Logic