Publisher
Springer International Publishing
Reference21 articles.
1. Aczel, P., Rathjen, M.: Constructive Set Theory, Book Draft (2010)
2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
3. Bishop, E., Cheng, H.: Constructive Measure Theory, vol. 116. Memoirs of the American Mathematical Society (1972)
4. Grundlehren der mathematischen Wissenschaften;E Bishop,1985
5. Bridges, D.S.: Reflections on function spaces. Ann. Pure Appl. Log. 163, 101–110 (2012)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献