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