Publisher
Springer Science and Business Media LLC
Reference52 articles.
1. Beeson M.J.: Foundations of Constructive Mathematics. Springer, Berlin (1985)
2. Bayens, E.: (Zwakke) convergentie, een oefening in intuïtionistische analyse. Master Thesis, Department of Mathematics, Katholieke Universiteit Nijmegen (2003)
3. Berger J., Bridges D.: The Fan Theorem and positive-valued niformly continuous functions on compact intervals. N. Z. J. Math. 38, 129–135 (2008)
4. Berger J., Schuster P.: Classifying Dini’s Theorem. Notre Dame J. Formal Logic 47, 253–262 (2006)
5. Berger, J., Schuster, P.: Dini’s Theorem in the light of constructive reverse mathematics. In: Lindström, S., Palmgren, E., Segerberg, K., Stoltenberg-Hansen, V. (eds.) Logicism, Intuitionism, and Formalism—What has become of them? pp. 153–165. Springer, Berlin (2009)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献