From Frege to Godel : a source book in mathematical logic, 1879-1931 - Van Heijenoort, Jean 1912-1986 (Source books in the history of the science, 1977)