From Frege to Godel a source book in mathematical logic 1879-1931 - Van Heijenoort Jean (Cambridge Cambridge University Press, 1967)
Keywords: PHILOSOPHY