???jsp.display-item.identifier??? http://repositorio.bc.ufg.br/tede/handle/ri/9682
???metadata.dc.type???: Dissertação
???metadata.dc.title???: Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos
???metadata.dc.title.alternative???: An approach to Intuitionistic type theory 's conception of a prosition
???org.dspace.app.webui.jsptag.ItemTag.appears???BIBLIOTECA DIGITAL DE TESES E DISSERTAÇÕES - coleta

???org.dspace.app.webui.jsptag.ItemTag.files???
???org.dspace.app.webui.jsptag.ItemTag.files.no???


???jsp.display-item.copyright???