Use este identificador para citar ou linkar para este item: http://repositorio.bc.ufg.br/tede/handle/ri/9682
Tipo: Dissertação
Título: Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos
Título(s) alternativo(s): An approach to Intuitionistic type theory 's conception of a prosition
Aparece nas coleções:BIBLIOTECA DIGITAL DE TESES E DISSERTAÇÕES - coleta

Arquivos associados a este item:
Não existem arquivos associados a este item.


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.