Switch to: Citations

Add references

You must login to add references.
  1. On 2nd order intuitionistic propositional calculus with full comprehension.Dov M. Gabbay - 1974 - Archive for Mathematical Logic 16 (3-4):177-186.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.
    Download  
     
    Export citation  
     
    Bookmark   25 citations