Frege and Gödel : two fundamental texts in mathematical logic / - Gödel, Kurt; Van Heijenoort, Jean; Frege, Gottlob (Harvard university press,, 1970)