Publisher
Springer Science and Business Media LLC
Reference16 articles.
1. DUMMETT, M.A.E.: Elements of Intuitionism. Oxford University Press, Oxford (1977)
2. FOURMAN, M.P.: The logic of topoi. In: Handbook of Mathematical Logic (ed. J. Barwise), North Holland, Amsterdam (1977), 1053–1090
3. FOURMAN, M.P.: Sheaf models for set theory. J. Pure and Applied Algebra 19 (1980), 91–101
4. FOURMAN, M.P. and GRAYSON, R.J.: Formal spaces induction principles and completeness theorems. In preparation
5. FOURMAN, M.P. and HYLAND, J.M.E.: Sheaf models for analysis. In: Applications of Sheaves (Proc. L.M.S. Durham Symposium, 1977), Springer Lecture Notes in Math. 753 (1979)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献