Resultado de la búsqueda: modelos de argumentacion formal