Mostrando 1 - 1 resultados de 1 para a busca 'Albernaz, Filipe Borges', tempo de busca: 0,01s

1

Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental

Publicado em 2022
Acessar documento
Tese