From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)