From Frege to Gödel : a source book in mathematical logic, 1879-1931 - Frege, Gottlob (Source book in the history of the sciences, 1999)