http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
On the foundations of geometry and formal theories of arithmetic
Translated and with an introduction by Eike-Henner W. Kluge.