The development of mathematical logic - Nidditch, Peter Harold (Routledge & Paul, 1962)