Volver a los detalles del artículo Pares filtro de Horn y interpolación de Craig en Lógica Proposional Descargar Descargar PDF