Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280559
Type: TESE
Degree Level: Doutorado
Title: Provas de normalização para a logica classica
Author: Massi, Cosme Damião Bastos
Advisor: Pereira, Luiz Carlos P. D
Pereira, Luiz Carlos P. D.
Abstract: Resumo: Não informado

Abstract: Not informed.
Subject: Lógica - Estudo e ensino
Filosofia
Language: Português
Editor: [s.n.]
Citation: MASSI, Cosme Damião Bastos. Provas de normalização para a logica classica. 1990. 109f. Tese (doutorado) - Universidade Estadualde Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, [SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280559>. Acesso em: 13 jul. 2018.
Date Issue: 1990
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Massi_CosmeDamiaoBastos_D.pdf8.87 MBAdobe PDFView/Open


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