Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa

Detalhes bibliográficos
Autor(a) principal: Castro, Milton Augustinis de
Data de Publicação: 2004
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/1599659
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_119cb80732b17469dfe11743fedea653
oai_identifier_str oai::335465
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 Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da CostaCosta, Newton Carneiro Affonso da, 1929-Lógica - Estudo e ensinoLógica simbólica e matemáticaLógica matemática não-clássicaLogica de primeira ordemOrientador: Itala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasDoutoradoFilosofiaDoutor em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Costa, Newton Carneiro Affonso daAlves, Daniel Durante PereiraFeitosa, Hercules de AraujoUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASCastro, Milton Augustinis de20042004-06-29T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf307p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1599659CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. 2004. 307p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1599659. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/335465porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T04:09:32Zoai::335465Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T04:09:32Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
title Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
spellingShingle Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Castro, Milton Augustinis de
Costa, Newton Carneiro Affonso da, 1929-
Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
Logica de primeira ordem
title_short Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
title_full Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
title_fullStr Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
title_full_unstemmed Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
title_sort Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
author Castro, Milton Augustinis de
author_facet Castro, Milton Augustinis de
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Costa, Newton Carneiro Affonso da
Alves, Daniel Durante Pereira
Feitosa, Hercules de Araujo
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Castro, Milton Augustinis de
dc.subject.por.fl_str_mv Costa, Newton Carneiro Affonso da, 1929-
Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
Logica de primeira ordem
topic Costa, Newton Carneiro Affonso da, 1929-
Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
Logica de primeira ordem
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-06-29T00: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 (Broch.)
https://hdl.handle.net/20.500.12733/1599659
CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. 2004. 307p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1599659. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. 2004. 307p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1599659. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1599659
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/335465
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
307p. : 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_ 1799138398334615552

Registros relacionados