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