1
2
3
Assuntos:
“...Primitive recursive functions...”
Funções recursivas primitivas: caracterização e alguns resultados para esta classe de funções
Dissertação
4
Assuntos:
“...Partial recursive functions...”
Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalência
Dissertação
5
Assuntos:
“...Recursive functions...”
Aspectos do primeiro teorema da incompletude de Kurt Gödel e uma análise da prova teorético informacional de Gregory Chaitin
Dissertação