Voltar aos Detalhes do Artigo Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents Baixar ##common.downloadPdf##