“Uso De Tipos Abstractos De Datos TAD En La demostración De Teoremas Propios De La teoría De Conjuntos”. Visión, revista de investigaciones 1, no. 1 (December 1, 2015): 113–118. Accessed April 23, 2026. https://revistas.uniciencia.edu.co/index.php/vision/article/view/15.