1. Beall, J.C., & Restall, G. (2000). Logical pluralism. Australasian Journal of Philosophy, 78, 475–493. http://consequently.org/writing/pluralism .
2. Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford University Press, Oxford.
3. Bishop, E. (1967). Foundations of constructive analysis. New York: McGraw-Hill. Out of print. A revised and extended version of this volume has appeared (Bishop and, Bridges 1985).
4. Bishop, E., & Bridges, D. (1985). Constructive analysis. Springer, Berlin.
5. Bridges, D. S., & Richman, F. (1987). Varieties of constructive mathematics, volume 97 of London Mathematical Society Lecture Notes. Cambridge University Press, Cambridge.