Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos. Visión RI. 2015;1(1):113-118. Accessed April 23, 2026. https://revistas.uniciencia.edu.co/index.php/vision/article/view/15