Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280389
Type: TESE
Degree Level: Doutorado
Title: Normalização forte via ordinal natural
Author: Alves, Daniel Durante Pereira, 1968-
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: Resumo: Não informado

Abstract: Not informed.
Subject: Lógica simbólica e matemática
Filosofia
Cálculo de predicados
Matemática
Calculo lambda
Language: Português
Editor: [s.n.]
Date Issue: 1999
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Alves_DanielDurantePereira_D.pdf10.66 MBAdobe PDFView/Open


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