Sobre o metodo dos tableaux em logicas polivalentes finitarias
Walter Alexandre Carnielli
TESE
Português
T/UNICAMP C217s
Campinas, SP : [s.n.], 1982.
140f.
Orientador: Newton Carneiro Affonso da Costa
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação
Resumo: Não informado.
Abstract: Not informed.
Sobre o metodo dos tableaux em logicas polivalentes finitarias
Walter Alexandre Carnielli
Sobre o metodo dos tableaux em logicas polivalentes finitarias
Walter Alexandre Carnielli