http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Haskell B. Curry; Robert Feys ; with two sections by William Craig.
Studies in logic and the foundations of mathematics