Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos. Revista Visión - UNICIENCIA. , [S. l.], v. 1, n. 1, p. 113–118, 2015. Disponível em: https://revistas.uniciencia.edu.co/index.php/vision/article/view/15. Acesso em: 30 jul. 2025.