Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"[en] KEISLER"
'
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: "[en] KEISLER"
Buscas alternativas
:
keisler »
heisler
(Expandir a busca)
,
geisler
(Expandir a busca)
,
eisler
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
"[en] KEISLER"
'
, tempo de busca: 0,04s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Assuntos:
“
...[pt]
KEISLER
...
”
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
Por
CHRISTIAN JACQUES RENTERIA
Publicado em 2004
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
Voltar
Refinar a Busca
Instituição de defesa
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
1
Bases coletadas
Repositório Institucional da PUC-RIO (Projeto Maxwell)
1
Autor
CHRISTIAN JACQUES RENTERIA
1
Tipo de documento
Tese
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
[en] FILTER
1
[en] KEISLER
1
[en] LABEL
1
[en] LOGIC
1
[en] NATURAL DEDUCTION
1
[en] NORMALIZATION
1
Mais ...
[en] PROOF THEORY
1
[en] QUANTIFIERS
1
[en] ULTRAFILTER
1
[pt] DEDUCAO NATURAL
1
[pt] KEISLER
1
[pt] LOGICA
1
[pt] NORMALIZACAO
1
[pt] QUANTIFICADORES
1
[pt] ROTULO
1
[pt] TEORIA DA PROVA
1
[pt] ULTRAFILTROS
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...