Curso
Doutorado
Título da pesquisa
Definições parciais de verdade e sistemas de acumulação na aritmética formal
Orientador
AndreaMariaAltinodeCamposLoparic
Data da defesa
21/03/2013