From Frege to G?del: A Source Book in Mathematical Logic, 1879-1931 - Van Heijenoort, Jean