Voltar aos Detalhes do Artigo
Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle
Baixar
Baixar PDF