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

Internet

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

Similar Items