http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
IMPLICATION, formalisation et logique naturelle
par E. W. Beth, J. B. Grize, R. Martin, B. Matalon, A. Naess et J. Piaget