Publication | Closed Access
General-Elimination Harmony and the Meaning of the Logical Constants
100
Citations
16
References
2010
Year
Non-classical LogicEngineeringAutomated ReasoningFormal MethodsEquational LogicHigher-order LogicLogical Constants
| Year | Citations | |
|---|---|---|
Page 1
Page 1