From Frege to Godel a source book in mathematical logic, 1879-1931 - Van Heijenoort, Jean, 1912-1986 (Cambridge, MA Harvard University Press, 1967)