Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209
Type: TESE
Degree Level: Doutorado
Title: Sobre o metodo dos tableaux em logicas polivalentes finitarias
Author: Carnielli, Walter Alexandre, 1952-
Advisor: Costa, N. C. A. da
Costa, Newton Carneiro Affonso da, 1929-
Abstract: Resumo: Não informado.

Abstract: Not informed.
Subject: Lógica matemática não-clássica
Language: Português
Editor: [s.n.]
Citation: 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.
Date Issue: 1982
Appears in Collections:IMECC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Carnielli_WalterAlexandre_D.pdf2.39 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.