Course
Master's degree
Research title
Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos
Graduate Advisor
AndreaMariaAltinodeCamposLoparic
Date of defense
22/06/2010