Switch to: Citations

Add references

You must login to add references.
  1. Concepts of general topology in constructive mathematics and in sheaves.R. J. Grayson - 1981 - Annals of Mathematical Logic 20 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
    Download  
     
    Export citation  
     
    Bookmark   33 citations