Switch to: Citations

Add references

You must login to add references.
  1. Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
    Download  
     
    Export citation  
     
    Bookmark   30 citations