http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
an introduction to contemporary mathematical logic
Bruno Poizat ; translated by Moses Klein.
Includes bibliographical references (pages [419]-427) and indexes.