From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 - Heijenoort, Jean van (1967)