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