Saturated Intuitionistic Theories
- 1 January 1968
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Interpretations of Kleene's metamathematical predicate Γ ∣ a in intuitionistic arithmeticThe Journal of Symbolic Logic, 1965
- Disjunction and existence under implication in elementary intuitionistic formalismsThe Journal of Symbolic Logic, 1962