Switch to: Citations

Add references

You must login to add references.
  1. Some remarks on the consequence operation in sentential logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
    Download  
     
    Export citation  
     
    Bookmark   39 citations