SV · Matemática y Semántica · documentos/fundamentos/no-clausura-certificada-en-sistemas-finitos-de-resolucion