Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
Renato Busatto Neto
DISSERTAÇÃO
Português
T/UNICAMP B96t
Campinas, SP : [s.n.], 1989.
131f. ; 31 cm.
Orientador: Carlos Alberto Lungarzo
Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Resumo: Não informado
Abstract: Not informed.
Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
Renato Busatto Neto
Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
Renato Busatto Neto