Buscas alternativas:
gentzen » bentzen (Expandir a busca)
Mostrando 1 - 3 resultados de 3 para a busca '"[en] GENTZEN"', tempo de busca: 0,11s

1

Assuntos: “...[pt] GENTZEN...”

[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO

Publicado em 2003
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

2

Assuntos: “...[pt] GENTZEN...”

[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM

Publicado em 2008
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

3

Assuntos: “...Gentzen Systems...”

Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos

Publicado em 2010
Acessar documento
Dissertação