Teorias formais & informais : a noção de prova  e os teoremas de incompletude de Godel

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

    Exemplares