Concepedia
Publication | Closed Access
On Extensions of Elementary Logic
339
Citations
4
References
1969
Year
Non-classical LogicEngineeringAutomated ReasoningFormal MethodsFirst-order LogicHigher-order LogicElementary Logic
Page 1