Curso
Mestrado
Título da pesquisa
Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos
Orientador
AndreaMariaAltinodeCamposLoparic
Data da defesa
22/06/2010