From Frege to Gödel : A source book in mathematical logic 1879-1931 - Van Heijenoort, Jean, 1912-1986 (Source books in the history of the sciences, 1977)