Development of Mathematical Logic - Nidditch, P.H (Routeledge and Kegan Paul London, 1962)