From Frege to Goedel : a source book in mathematical logic, 1879-1931 - Van Heijenoort, Jean (Source Books in the History of the Sciences, 2000)