open-axiom/src/algebra/logic.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2013-05-26T02:31:19Z
* algebra/logic.spad.pamphlet: New file.
2013-05-26T02:31:19Z
dos-reis
gdr@axiomatics.org
2013-05-26T02:31:19Z
urn:sha1:15cd0ab054c2d61565ff4503fb3212e3d356ab11
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.