http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
de los argumentos inductivos a las álgebras de Boole
Lógica y augumentación -- El silogismo categórico -- Lógica simbólica. Lógica proposicional -- Lógica simbólica fundamentos de cálculo de predicados -- Demostración formal y álgebra de Boole