Uma abordagem geral para quantificadores em dedução natural

Detalhes bibliográficos
Principais autores: CHRISTIAN JACQUES RENTERIA, THEREZINHA SOUZA DA COSTA
Data de Publicação: 2004
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_3464a3f3fb818e8141c2914fd8179cc3
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma abordagem geral para quantificadores em dedução natural
title Uma abordagem geral para quantificadores em dedução natural
spellingShingle Uma abordagem geral para quantificadores em dedução natural
CHRISTIAN JACQUES RENTERIA
THEREZINHA SOUZA DA COSTA
title_short Uma abordagem geral para quantificadores em dedução natural
title_full Uma abordagem geral para quantificadores em dedução natural
title_fullStr Uma abordagem geral para quantificadores em dedução natural
Uma abordagem geral para quantificadores em dedução natural
title_full_unstemmed Uma abordagem geral para quantificadores em dedução natural
Uma abordagem geral para quantificadores em dedução natural
title_sort Uma abordagem geral para quantificadores em dedução natural
publishDate 2004
format doctoralThesis
author_role author
author CHRISTIAN JACQUES RENTERIA
THEREZINHA SOUZA DA COSTA
author_facet CHRISTIAN JACQUES RENTERIA
THEREZINHA SOUZA DA COSTA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0752163151891654
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma abordagem geral para quantificadores em dedução naturalUma abordagem geral para quantificadores em dedução naturalUma abordagem geral para quantificadores em dedução naturalUma abordagem geral para quantificadores em dedução naturalUma abordagem geral para quantificadores em dedução naturalUma abordagem geral para quantificadores em dedução naturalUma abordagem geral para quantificadores em dedução natural2004doctoralThesisauthorCHRISTIAN JACQUES RENTERIAhttp://lattes.cnpq.br/0752163151891654EDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv RENTERIA, CHRISTIAN JACQUES. Uma abordagem geral para quantificadores em dedução natural. 2004. Tese.
dc.identifier.citation.fl_str_mv RENTERIA, CHRISTIAN JACQUES. Uma abordagem geral para quantificadores em dedução natural. 2004. Tese.
_version_ 1741886870126592000

Registros relacionados