From Frege to Gödel a source book in mathematical logic, 1879-1931 - Heijenoort, Jean van (Harvard Univ. Pr., 1977)