Author:
Berger Josef,Ishihara Hajime,Kihara Takayuki,Nemoto Takako
Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Berger, J., Ishihara, H.: Brouwer’s fan theorem and unique existence in constructive analysis. MLQ Math. Log. Q. 51, 360–364 (2005)
2. Berger, J., Ishihara, H., Schuster, P.: The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Rep. Math. Logic 47, 63–86 (2012)
3. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
4. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Berlin (1985)
5. Bridges, D., Richman, F.: Varieties of Constructive Mathematics, London Mathematical Society Lecture Note, vol. 97. Cambridge University Press, London (1987)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献