Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Aczel, P.: Extending the topological interpretation to constructive set theory. Unpublished notes 1977
2. Diaconescu, R.: Axiom of choice and complementation. Proc. Amer. Math. Soc. 51, 176–178 (1975)
3. Fourman, M.P.: The logic of topoi. In Handbook of Mathematical Logic. North-Holland 1977
4. Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. This volume
5. Fourman, M.P., Scott, D.S.: Sheaves and logic. This volume
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献