Curso
Mestrado
Título da pesquisa
Uma prova da incompletude da aritmética baseada no Teorema das Definições Recursivas
Orientador
AndreaMariaAltinodeCamposLoparic
Data da defesa
30/07/2008