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