Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280080
Type: TESE
Degree Level: Doutorado
Title: Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Author: Castro, Milton Augustinis de
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Subject: Costa, Newton Carneiro Affonso da, 1929-
Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
Logica de primeira ordem
Language: Português
Editor: [s.n.]
Date Issue: 2004
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Castro_MiltonAugustinisde_D.pdf2.42 MBAdobe PDFView/Open


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