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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
[s.n.]
1982
|
| Subjects: | |
| 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 |