http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
DEDUKTIONSSYSTEME -- Deduktionssysteme. Automatisierung d.log. -- Denkens. Hrsg.v.K(arl) H(ans) Bläsius u. -- H(ans)-J(ürgen) Bürckert. Mit Beitr.von ... -- Mit 68 Abb.u.8 Tab. - München,Wien:Oldenbourg -- 1987. VI,179 S. 8° -- 1987:6061. Fie.