1
Assuntos:
“...[pt] TEORIA DA PROVA...”
[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO
Tese
2
Assuntos:
“...[pt] TEORIA DA PROVA...”
[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION
Tese
3
4
Assuntos:
“...[pt] TEORIA DA PROVA...”
[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM
Tese
5
6
7
Assuntos:
“...[pt] TEORIA DA PROVA...”
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
Tese
8
Assuntos:
“...[pt] TEORIA DA PROVA...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
9
10
Assuntos:
“...Teoria da prova...”
Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica
Tese
11
Assuntos:
“...Teoria das provas...”
Responsabilidade tributária do grupo econômico: elementos de identificação e sua interpretação
Dissertação
12
13
Assuntos:
“...[pt] TEORIA DA PROVA...”
[pt] ALGUNS RESULTADOS EM TEORIA DE PROVA BASEADO EM GRAFOS
Tese
14
Assuntos:
“...Teoria da prova...”
Sistemas esquemáticos de dedução natural: um estudo prova-teórico
Tese
15
16
Assuntos:
“...Teoria da prova...”
Um sistema infinitário para a lógica de menor ponto fixo
Dissertação
17
Assuntos:
“...Teoria das provas...”
A teoria da prova segundo o constructivismo lógico- semântico aplicada ao direito previdenciário
Dissertação