Problemas de uma semantica para a logica intuicionista de primeira ordem

Detalhes bibliográficos
Autor(a) principal: Molina, Jorge Alberto
Data de Publicação: 1992
Tipo de documento: Tese
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/1578499
Resumo: Orientador : Carlos Alberto Lungarzo
id UNICAMP-30_00ade90a79eaea3e4d47d585f7334887
oai_identifier_str oai::50586
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 Problemas de uma semantica para a logica intuicionista de primeira ordemIntuiçãoTeoria do conhecimentoFilosofiaOrientador : Carlos Alberto LungarzoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Não informadoAbstract: Not informed.DoutoradoDoutor 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 CAMPINASMolina, Jorge Alberto19921992-10-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf[175]f. : il.https://hdl.handle.net/20.500.12733/1578499MOLINA, Jorge Alberto. Problemas de uma semantica para a logica intuicionista de primeira ordem. 1992. [175]f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1578499. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/50586porreponame: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-17T23:54:22Zoai::50586Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-17T23:54:22Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Problemas de uma semantica para a logica intuicionista de primeira ordem
title Problemas de uma semantica para a logica intuicionista de primeira ordem
spellingShingle Problemas de uma semantica para a logica intuicionista de primeira ordem
Molina, Jorge Alberto
Intuição
Teoria do conhecimento
Filosofia
title_short Problemas de uma semantica para a logica intuicionista de primeira ordem
title_full Problemas de uma semantica para a logica intuicionista de primeira ordem
title_fullStr Problemas de uma semantica para a logica intuicionista de primeira ordem
title_full_unstemmed Problemas de uma semantica para a logica intuicionista de primeira ordem
title_sort Problemas de uma semantica para a logica intuicionista de primeira ordem
author Molina, Jorge Alberto
author_facet Molina, Jorge Alberto
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 Molina, Jorge Alberto
dc.subject.por.fl_str_mv Intuição
Teoria do conhecimento
Filosofia
topic Intuição
Teoria do conhecimento
Filosofia
description Orientador : Carlos Alberto Lungarzo
publishDate 1992
dc.date.none.fl_str_mv 1992
1992-10-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1578499
MOLINA, Jorge Alberto. Problemas de uma semantica para a logica intuicionista de primeira ordem. 1992. [175]f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1578499. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1578499
identifier_str_mv MOLINA, Jorge Alberto. Problemas de uma semantica para a logica intuicionista de primeira ordem. 1992. [175]f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1578499. 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/50586
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[175]f. : il.
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_ 1809188738451898368

Registros relacionados