Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos. Revista Visión [Internet]. 2015 Dec. 1 [cited 2026 Jun. 10];1(1):113-8. Available from: https://revistas.uniciencia.edu.co/index.php/vision/article/view/15