Please use this identifier to cite or link to this item:
Type: TESE
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.]
Date Issue: 1982
Appears in Collections:IMECC - Dissertação e Tese

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.