http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
introduction to mathematical logic and type theory
xviii, 390 pages : illustrations ; 25 cm.
Includes bibliographical references (pages 371-380) and index.