Luciano Vicente
Data da defesa
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
Curso
Mestrado