From frege to godel A source book in mathematical logic,1879-1931. - Heijenoort Jean Van (Cambridge Harvard University Press, 1967)