Uso De Tipos Abstractos De Datos TAD En La demostración De Teoremas Propios De La teoría De Conjuntos. RVU 2015, 1 (1), 113-118.