Switch to: Citations

Add references

You must login to add references.
  1. A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • On cardinality of matrices strongly adequate for the intuitionistic propositional logic.Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):34-40.
    Download  
     
    Export citation  
     
    Bookmark   8 citations