On the foundations of geometry and formal theories of arithmetic. - Frege, Gottlob (Yale University Press, 1971)