From Frege to Gödel : a source book in mathematical logic, 1879-1931 - Frege, Gottlob (toExcel Press, 1999)