Voltar aos Detalhes do Artigo
Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
Baixar
Baixar PDF