O Método das Constantes na Teoria dos Modelos em Feixes sobre uma Álgebra de Heyting.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Feixes
-
Intuicionismo
-
Lógica
-
Teoria dos Modelos
-
algebras de heyting
-
feixes
-
omissão de tipos
-
teoria dos modelos
Identidade
identificador BrCris
-
918ae677807f90bd55dbe3c14a981cea
identificador Capes
-
20009433002010005P1-Publication
identificador Oasisbr
-
USP_2cfbc61d0b55d3a5b07a11a6946e7ca5