Normalização forte via ordinal natural
Ano de defesa: | 1999 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
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: | |
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: 2 set. 2024.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: 2 set. 2024. |
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: 2 set. 2024. |
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_ |
1809189695976898560 |