“Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos”, Revista Visión, vol. 1, no. 1, pp. 113–118, Dec. 2015, Accessed: Jun. 15, 2026. [Online]. Available: https://revistas.uniciencia.edu.co/index.php/vision/article/view/15