Publication | Closed Access
Quantifier-free and one-quantifier systems
33
Citations
2
References
1972
Year
Non-classical LogicEngineeringAutomated ReasoningFormal MethodsFirst-order LogicOne-quantifier SystemsHigher-order Logic
| Year | Citations | |
|---|---|---|
Page 1
Page 1