Normalização forte via ordinal natural

Description

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T13:30:02Z (GMT). No. of bitstreams: 1
Alves_DanielDurantePereira_D.pdf: 10917931 bytes, checksum: b3a281be70541ba02394f30b44bda708 (MD5)
Previous issue date: 1999 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Links & Downloads

1. (Broch.)
2. ALVES, Daniel Durante Pereira. Normalização forte via ordinal natural. 1999. 405 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, [SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280389>. Acesso em: 24 jul. 2018.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280389

Tags

Lógica simbólica e matemática

Filosofia

Cálculo de predicados

Matemática

Calculo lambda

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/280389
Date	09 January 1999
Creators	Alves, Daniel Durante Pereira, 1968-
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, D'Ottaviano, Itala Maria Loffredo, 1944-, Massi, Cosme Damião Bastos, Pereira, Luiz Carlos P. D., Queiroz, Ruy de, Carnielli, Walter Alexandre, Feitosa, Hercules de Araujo, Coniglio, Marcelo Esteban
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format	405 p., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess