1
Assuntos:
“...[en] PROOF THEORY...”
[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO
Tese
2
Assuntos:
“...[en] PROOF THEORY...”
[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION
Tese
3
4
Assuntos:
“...[en] PROOF THEORY...”
[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM
Tese
5
Assuntos:
“...[en] PROOF THEORY...”
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
Tese
6
Assuntos:
“...[en] PROOF THEORY...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
7
8
Assuntos:
“...Proof theory...”
Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
Tese
9
Assuntos:
“...Proof theory...”
Justapor demonstrações e seu efeito na escrita de demonstrações : Juxtapose proofs and its effect on proof writing
Tese
10
Assuntos:
“...[en] PROOF THEORY...”
[pt] ALGUNS RESULTADOS EM TEORIA DE PROVA BASEADO EM GRAFOS
Tese
11
12
Assuntos:
“...Proof theory...”
Uma investigação acerca das regras para a negação e o absurdo em dedução natural
Tese
13
14
Assuntos:
“...Proof theory...”
Compreensão de estudantes de um curso de matemática a respeito do conceito de indução finita
Dissertação
15
16
Assuntos:
“...Dynamic burden of proof theory...”
O ônus da prova na ação civil pública: hipóteses de flexibilização
Dissertação