Dissertações
TEORIAS FORMAIS E INFORMAIS: A NOCAO DE PROVA E OS TEOREMAS DE INCOMPLETUDE DE GODEL.
RENATO BUSATTO NETO
Dissertação
- Autor
- RENATO BUSATTO NETO
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- LOGICA E FILOSOFIA DA CIENCIA
- Grau
- MESTRADO
- Ano
- 1989
1989RENATO BUSATTO NETO. TEORIAS FORMAIS E INFORMAIS: A NOCAO DE PROVA E OS TEOREMAS DE INCOMPLETUDE DE GODEL.. 1989. Dissertação (MESTRADO em LOGICA E FILOSOFIA DA CIENCIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP.2
TEORIAS FORMAIS E INFORMAIS
Palavras-chave: