Curso
Mestrado
Título de la investigación
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