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

Description

Orientador: Carlos Alberto Lungarzo / Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:33:46Z (GMT). No. of bitstreams: 1
BusattoNeto_Renato_M.pdf: 24051956 bytes, checksum: bccd65a7e49b5be8e6995a43dbf8fc0a (MD5)
Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Links & Downloads

1. BUSATTO NETO, Renato. Teorias formais & informais: a noção de prova e os teoremas de incompletude de Godel. 1989. 131f. Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/278698>. Acesso em: 13 jul. 2018.
2. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278698

Tags

Filosofia

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/278698
Date	19 April 1989
Creators	Busatto Neto, Renato
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Lungarzo, Carlos Alberto, 1942-
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	131f. ; 31 cm., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess