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