Frege and Godel : rwo fundamental texts in mathematical logic - Van Heijenoort, Jean (Cambridge, Massachusetts : Harvard University Press, 1970)
41