Publisher
Springer International Publishing
Reference8 articles.
1. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
2. Grundlehren der Mathematischen Wissenschaften 279;E Bishop,1985
3. Bridges, D., Reeves, S.: Constructive mathematics in theory and programming practice. Philosophia Mathe. 3, 65–104 (1999)
4. Bridges, D.S.: Reflections on function spaces. Ann. Pure Appl. Logic 163, 101–110 (2012)
5. Gillman, L., Jerison, M.: Rings of Continuous Functions. Van Nostrand, Princeton (1960)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献