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