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

Detalhes bibliográficos
Autor(a) principal: Busatto Neto, Renato
Data de Publicação: 1989
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1574813
Resumo: Orientador: Carlos Alberto Lungarzo
id UNICAMP-30_a56bc02997c96f6c7de650c4a2b402ad
oai_identifier_str oai::18075
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Teorias formais & informais : a noção de prova e os teoremas de incompletude de GodelFilosofiaOrientador: Carlos Alberto LungarzoDissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Não informadoAbstract: Not informed.MestradoMestre em Filosofia[s.n.]Lungarzo, Carlos Alberto, 1942-Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASBusatto Neto, Renato19891989-04-19T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf131f. ; 31 cm.https://hdl.handle.net/20.500.12733/1574813BUSATTO 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: https://hdl.handle.net/20.500.12733/1574813. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/18075porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-17T19:54:45Zoai::18075Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-17T19:54:45Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
title Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
spellingShingle Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
Busatto Neto, Renato
Filosofia
title_short Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
title_full Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
title_fullStr Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
title_full_unstemmed Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
title_sort Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel
author Busatto Neto, Renato
author_facet Busatto Neto, Renato
author_role author
dc.contributor.none.fl_str_mv Lungarzo, Carlos Alberto, 1942-
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Busatto Neto, Renato
dc.subject.por.fl_str_mv Filosofia
topic Filosofia
description Orientador: Carlos Alberto Lungarzo
publishDate 1989
dc.date.none.fl_str_mv 1989
1989-04-19T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1574813
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: https://hdl.handle.net/20.500.12733/1574813. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1574813
identifier_str_mv 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: https://hdl.handle.net/20.500.12733/1574813. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/18075
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
131f. ; 31 cm.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188702204723200

Registros relacionados