Publication | Closed Access
On the role of supercompact and extendible cardinals in logic
103
Citations
2
References
1971
Year
Non-classical LogicEngineeringSubstructural LogicAutomated ReasoningExtendible CardinalsPhilosophy Of LogicFormal MethodsHigher-order LogicLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1