| dc.creator | Carnielli, Walter Alexandre, 1952- | |
| dc.date | 1982 | |
| dc.date | 2017-03-14T07:07:00Z | |
| dc.date | 2017-06-21T18:38:38Z | |
| dc.date | 2017-03-14T07:07:00Z | |
| dc.date | 2017-06-21T18:38:38Z | |
| dc.date.accessioned | 2018-03-29T03:01:07Z | |
| dc.date.available | 2018-03-29T03:01:07Z | |
| dc.identifier | 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://libdigi.unicamp.br/document/?code=000047330>. Acesso em: 14 mar. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1324868 | |
| dc.description | Orientador: Newton Carneiro Affonso da Costa | |
| dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica | |
| dc.description | Resumo: Não informado. | |
| dc.description | Abstract: Not informed. | |
| dc.description | Doutorado | |
| dc.description | Doutor em Matematica | |
| dc.format | 140f. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Lógica matemática não-clássica | |
| dc.title | Sobre o metodo dos tableaux em logicas polivalentes finitarias | |
| dc.type | Tesis | |
