The development of mathematical logic - Nidditch, Peter H. (Thoemmes, 1998)