Volver a los detalles del artículo Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos Descargar Descargar PDF