http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Admissibility of logical inference rules
Rybakov, Vladimir V. (Vladimir Vladimir)
Includes bibliographical references (pages 603-617) and index.
Studies in logic and the foundations of mathematics ; v. 136