Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos Documento

https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=240940

Visão geral
Pesquisas
Identidade
Ver todos

membro de

orientado por

André da Silva Porto

produzido em

https://brcris.ibict.br/individual/cour_605bffe5-99fc-4bfe-bb22-81b84c2b5d35
Postgraduate Program in Philosophy Programa de Pós-Graduação

tipo

master thesis

autores

Bruno Rigonato Mundim

data de publicação

2013-01-01

prêmio patrocinado pela

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL Organização