Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.J. G. Anderson - 1972 - Mathematical Logic Quarterly 18 (8-11):113-130.
    Download  
     
    Export citation  
     
    Bookmark   15 citations