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  
  • A characterization of fragments of the intuitionistic propositional logic.M. T. Porebska & A. Wronski - 1974 - Bulletin of the Section of Logic 3 (2):19-20.
    Download  
     
    Export citation  
     
    Bookmark   1 citation