Bridges, Douglas S. 2004. “Constructivity in Mathematics”. CUBO, A Mathematical Journal 6 (1):209–258. https://cubo.ufro.cl/ojs/index.php/cubo/article/view/1655.