Reference15 articles.
1. M.J. Beeson, Foundations of Constructive Mathematics, Springer Verlag, Berlin 1985
2. Errett Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York 1967
3. Grundlehren der math. Wissenschaften;E Bishop,1985
4. Errett Bishop and Henry Cheng, Constructive Measure Theory, Mem. Amer. Math. Soc 116 (1972)
5. Douglas Bridges, A note on Morse’s lambda notation in set theory, Z. Math. Logik Grundlagen Math., 24, 493–494 (1978)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献