Developemnt of mathematical logic. - Nidditch P H (London Routledge, 1962)