http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Lógica proporcional o de enunciados : Nociones y símbolos en lógica proporcional, matrices o tablas de verdad, análisis de certeza, inferencias tautológicas, equivalencias tautológicas -- Lógica de términos o de predicados : Nociones y símbolos en lógica de términos, inferencias inmediatas, inferencias mediatas.