This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
M. J. Beeson , Foundations of constructive mathematics, Springer-Verlag, Heidelberg, 1985.
E. Bishop and D. S. Bridges , Constructive analysis, Grundlehren der mathematischen Wissenschaften, vol. 279, Springer–Verlag, Heidelberg, 1985.
D. S. Bridges and F. Richman , Varieties of constructive mathematics, London Mathematical Society Lecture Notes, no. 95, Cambridge University Press, London, 1987.
D. S. Bridges , F. Richman , and P. M. Schuster , A weak countable choice principle, Proceedings of the American Mathematical Society, vol. 128 (2000), no. 9, p. 2749–2752.
D. S. Bridges and L. S. Vîţă , Apartness spaces as a framework for constructive topology, Annals of Pure and Applied Logic, vol. 119 (2002), no. 1–3, p. 61–83.