http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Lattice theoretic and logical aspects of elementary topoi
Aarhus Universitet. Matematisk Institut. Various publications series ; no. 25