Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Identity and Existence in Intuitionistic Logic.Dana Scott, M. P. Fourman, C. J. Mulvey & D. S. Scott - 1985 - Journal of Symbolic Logic 50 (2):548-549.
    Download  
     
    Export citation  
     
    Bookmark   21 citations