http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Assessing Philosophy of Logic and Mathematics Today
edited by Johan Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser.