Switch to: Citations

Add references

You must login to add references.
  1. On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
    Download  
     
    Export citation  
     
    Bookmark   40 citations