Voltar aos Detalhes do Artigo Two basic results on translations between logics Baixar ##common.downloadPdf##