| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2013-05-26 | * algebra/logic.spad.pamphlet: New file. | dos-reis | 1 | -0/+546 | |
| * algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise. | |||||
 |
index : open-axiom | |
| open scientific computation system | Igor Pashev |
| aboutsummaryrefslogtreecommitdiff |