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