Voltar aos Detalhes do Artigo
Two basic results on translations between logics
Baixar
Baixar PDF