Normalização forte via ordinal natural

Detalhes bibliográficos
Ano de defesa: 1999
Autor(a) principal: Alves, Daniel Durante Pereira, 1968-
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica simbólica e matemática
Filosofia
Cálculo de predicados
Matemática
Calculo lambda
Link de acesso: https://hdl.handle.net/20.500.12733/1586860
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_d5cc9bed646568bc664c4dcd89c45ca1
oai_identifier_str oai::168387
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Normalização forte via ordinal naturalLógica simbólica e matemáticaFilosofiaCálculo de predicadosMatemáticaCalculo lambdaOrientador: Itala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Não informadoAbstract: Not informed.DoutoradoDoutor em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Massi, Cosme Damião BastosPereira, Luiz Carlos Pinheiro DiasQueiroz, Ruy deCarnielli, Walter AlexandreFeitosa, Hercules de AraujoConiglio, Marcelo EstebanUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASAlves, Daniel Durante Pereira, 1968-19991999-01-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf405 p.(Broch.)https://hdl.handle.net/20.500.12733/1586860ALVES, 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: https://hdl.handle.net/20.500.12733/1586860. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/168387porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T02:51:57Zoai::168387Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:51:57Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Normalização forte via ordinal natural
title Normalização forte via ordinal natural
spellingShingle Normalização forte via ordinal natural
Alves, Daniel Durante Pereira, 1968-
Lógica simbólica e matemática
Filosofia
Cálculo de predicados
Matemática
Calculo lambda
title_short Normalização forte via ordinal natural
title_full Normalização forte via ordinal natural
title_fullStr Normalização forte via ordinal natural
title_full_unstemmed Normalização forte via ordinal natural
title_sort Normalização forte via ordinal natural
author Alves, Daniel Durante Pereira, 1968-
author_facet Alves, Daniel Durante Pereira, 1968-
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Massi, Cosme Damião Bastos
Pereira, Luiz Carlos Pinheiro Dias
Queiroz, Ruy de
Carnielli, Walter Alexandre
Feitosa, Hercules de Araujo
Coniglio, Marcelo Esteban
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Alves, Daniel Durante Pereira, 1968-
dc.subject.por.fl_str_mv Lógica simbólica e matemática
Filosofia
Cálculo de predicados
Matemática
Calculo lambda
topic Lógica simbólica e matemática
Filosofia
Cálculo de predicados
Matemática
Calculo lambda
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 1999
dc.date.none.fl_str_mv 1999
1999-01-09T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1586860
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: https://hdl.handle.net/20.500.12733/1586860. Acesso em: 27 fev. 2025.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1586860. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1586860
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/168387
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
405 p.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1829137392881106944

Registros relacionados