From frege to Godel : a source book in mathematical logic, 1879-1931 - Van Heijenoort, Jean (Source books in the history of the sciences, 1967)