Tesis
Sobre o metodo dos tableaux em logicas polivalentes finitarias
Registro en:
Autor
Carnielli, Walter Alexandre, 1952-
Institución
Resumen
Orientador: Newton Carneiro Affonso da Costa Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica Resumo: Não informado. Abstract: Not informed. Doutorado Doutor em Matematica