Uma Lógica Intuicionista Bidimensional Com Semântica Categórica

Detalhes bibliográficos
Autor(a) principal: Sergio da Silva Aguiar
Data de Publicação: 2002
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_b0922d87cfbeef7c9abe70ecb8cf7f99
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
title Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
spellingShingle Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
Sergio da Silva Aguiar
title_short Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
title_full Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
title_fullStr Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
title_full_unstemmed Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
title_sort Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
publishDate 2002
format masterThesis
author_role author
author Sergio da Silva Aguiar
author_facet Sergio da Silva Aguiar
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4109987141958057
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 CAPESUma Lógica Intuicionista Bidimensional Com Semântica CategóricaUma Lógica Intuicionista Bidimensional Com Semântica CategóricaUma Lógica Intuicionista Bidimensional Com Semântica CategóricaUma Lógica Intuicionista Bidimensional Com Semântica CategóricaUma Lógica Intuicionista Bidimensional Com Semântica CategóricaUma Lógica Intuicionista Bidimensional Com Semântica CategóricaUma Lógica Intuicionista Bidimensional Com Semântica Categórica2002masterThesisauthorSergio da Silva Aguiarhttp://lattes.cnpq.br/4109987141958057UNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Aguiar, Sergio da Silva. Uma Lógica Intuicionista Bidimensional Com Semântica Categórica. 2002. Tese.
dc.identifier.citation.fl_str_mv Aguiar, Sergio da Silva. Uma Lógica Intuicionista Bidimensional Com Semântica Categórica. 2002. Tese.
_version_ 1741885881286918144

Registros relacionados