Publication | Closed Access
A Theory of Positive Integers in Formal Logic. Part I
138
Citations
0
References
1935
Year
Formal LogicEngineeringAutomated ReasoningClassical LogicFormal MethodsFirst-order LogicHigher-order LogicLogical Formalism
No additional data available for this publication yet. Check back later!