Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores

Detalhes bibliográficos
Autor(a) principal: DEBORA ABDALLA SANTOS
Data de Publicação: 2000
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_59a30d14d78aa7e2cf6ca0eb5f17be1d
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
title Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
spellingShingle Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
DEBORA ABDALLA SANTOS
title_short Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
title_full Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
title_fullStr Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
title_full_unstemmed Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
title_sort Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores
publishDate 2000
format doctoralThesis
author_role author
author DEBORA ABDALLA SANTOS
author_facet DEBORA ABDALLA SANTOS
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0147487762250438
dc.contributor.advisor1.fl_str_mv Teresa Bernarda Ludermir
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6321179168854922
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0002-8980-6742
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
instname_str UNIVERSIDADE FEDERAL DE PERNAMBUCO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadoresContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadoresContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadoresContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadoresContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadoresContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadoresContribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores2000doctoralThesisauthorDEBORA ABDALLA SANTOShttp://lattes.cnpq.br/0147487762250438Teresa Bernarda Ludermirhttp://lattes.cnpq.br/6321179168854922https://orcid.org/0000-0002-8980-6742UNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv SANTOS, DEBORA ABDALLA. Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores. 2000. Tese.
dc.identifier.citation.fl_str_mv SANTOS, DEBORA ABDALLA. Contribuições à Dedução Natural Rotulada: análise das regras de inferências para os quantificadores. 2000. Tese.
_version_ 1741884068766679040

Registros relacionados