Uma prova de incompletude da artmética baseada no teorema das definições recursivas

Ano
2008
Autor
VICENTE, Luciano
Grau
Mestrado
Orientador
LOPARIC, Andréa Maria Altino de Campos
Páginas
98
Tombo
9172N
Volumes
1
Departamento
Filosofia
Programa
Filosofia
Unidade USP
Faculdade de Filosofia, Letras e Ciências Humanas