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