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