Publisher
Springer International Publishing
Reference12 articles.
1. Beeson, M.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)
2. Lecture Notes in Computer Science;J Berger,2006
3. Berger, J.: A separation result for varieties of Brouwer’s Fan Theorem. In: Proceedings of the 10th Asian Logic Conference (ALC 10), Kobe University in Kobe, Hyogo, Japan, 1–6 September 2008, pp. 85–92 (2010)
4. Diener, H., Loeb, I.: Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1), 50–61 (2009)
5. Diener, H., Lubarsky, R.: Notions of cauchyness and metastability. In: Artemov, S., Nerode, A. (eds.) Symposium on Logical Foundations in Computer Science 2018, LNCS. Springer, Heidelberg (2018, to appear)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献