Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40, Institut Mittag-Leffler, The Royal Swedish Academy of Sciences (2000/2001)
2. Bishop, E., Bridges, D.: Constructive Analysis. In: Graph Reduction 1986, vol. 279, Springer, Heidelberg (1967)
3. Loeb, I.: Equivalents of the (Weak) Fan Theorem. Annals of Pure and Applied Logic 132(1), 51–66 (2005)
4. Bridges, D., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, Cambridge (1987)
5. Ishihara, H.: Constructive Reverse Mathematics: Compactness Properties. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis, Oxford University Press, Oxford (to appear)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献