Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"Álgebras de Heyting"
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: "Álgebras de Heyting"
Buscas alternativas
:
algebras »
algebra
(Expandir a busca)
,
algebricas
(Expandir a busca)
,
algebraic
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
"Álgebras de Heyting"
'
, tempo de busca: 0,06s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Assuntos:
“
...
Álgebras
de
Heyting
...
”
Introdução à lógica intuicionista
Por
Almeida, Fellipe Hernandes de
Publicado em 2023
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade de São Paulo (USP)
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da USP
1
Autor
Almeida, Fellipe Hernandes de
1
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
First-order logic
1
Heyting algebras
1
Intuitionistic logic
1
Kripke models
1
Lattices
1
Lógica de primeira ordem
1
Mais ...
Lógica intuicionista
1
Modelos de Kripke
1
Reticulados
1
Álgebras de Heyting
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...
