Sobre o metodo dos tableaux em logicas polivalentes finitarias

Sobre o metodo dos tableaux em logicas polivalentes finitarias

Orientador: Newton Carneiro Affonso da Costa === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica === Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1 Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksu...

Full description

Bibliographic Details
Main Author: Carnielli, Walter Alexandre, 1952-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1982
Subjects:
Lógica matemática não-clássica
Online Access:CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306209>. Acesso em: 14 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209
id ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-306209
record_format oai_dc
spelling ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-3062092019-01-21T20:15:17Z Sobre o metodo dos tableaux em logicas polivalentes finitarias Carnielli, Walter Alexandre, 1952- UNIVERSIDADE ESTADUAL DE CAMPINAS Costa, N. C. A. da Costa, Newton Carneiro Affonso da, 1929- Lógica matemática não-clássica Orientador: Newton Carneiro Affonso da Costa Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1 Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksum: ae2b22dcdbcb64ab500dd273b065caff (MD5) Previous issue date: 1982 Resumo: Não informado. Abstract: Not informed. Doutorado Doutor em Matemática 1982 2018-07-14T12:30:34Z 2018-07-14T12:30:34Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306209>. Acesso em: 14 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209 por info:eu-repo/semantics/openAccess 140f. application/pdf [s.n.] Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica Programa de Pós-Graduação em Matemática reponame:Repositório Institucional da Unicamp instname:Universidade Estadual de Campinas instacron:UNICAMP
collection NDLTD
language Portuguese
format Others
sources NDLTD
topic Lógica matemática não-clássica
spellingShingle Lógica matemática não-clássica
Carnielli, Walter Alexandre, 1952-
Sobre o metodo dos tableaux em logicas polivalentes finitarias
description Orientador: Newton Carneiro Affonso da Costa === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica === Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1 Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksum: ae2b22dcdbcb64ab500dd273b065caff (MD5) Previous issue date: 1982 === Resumo: Não informado. === Abstract: Not informed. === Doutorado === Doutor em Matemática
author2 UNIVERSIDADE ESTADUAL DE CAMPINAS
author_facet UNIVERSIDADE ESTADUAL DE CAMPINAS
Carnielli, Walter Alexandre, 1952-
author Carnielli, Walter Alexandre, 1952-
author_sort Carnielli, Walter Alexandre, 1952-
title Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_short Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_full Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_fullStr Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_full_unstemmed Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_sort sobre o metodo dos tableaux em logicas polivalentes finitarias
publisher [s.n.]
publishDate 1982
url CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306209>. Acesso em: 14 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209
work_keys_str_mv AT carnielliwalteralexandre1952 sobreometododostableauxemlogicaspolivalentesfinitarias
_version_ 1718870369159348224

Similar Items