“Uso De Tipos Abstractos De Datos TAD En La demostración De Teoremas Propios De La teoría De Conjuntos”. Revista Visión - UNICIENCIA. 1, no. 1 (December 1, 2015): 113–118. Accessed July 30, 2025. https://revistas.uniciencia.edu.co/index.php/vision/article/view/15.