Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
2. E. Bishop and D. Bridges, Constructive Analysis, Grundlehren der math. Wissenschaften 279, Springer-Verlag, Berlin, 1985.
3. D. Bridges and H. Ishihara, Linear mappings are fairly well-behaved, Archiv der Mathematik
54, 558–562, 1990.
4. D. Bridges and F. Richman, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge University Press, 1987.
5. N. Greenleaf. ‘Linear order in lattices: a constructive study’, in: Advances in Mathematics Supplementary Studies
1, 11–30, Academic Press, New York, 1978.