Repositório Institucional da PUC-RIO (Projeto Maxwell) 4

JOSE FLAVIO CAVALCANTE BARROS JUNIOR 1 MARCELA QUISPE CRUZ 1 ROBINSON CALLOU DE M BRASIL FILHO 1 VICTOR LUIS BARROSO NASCIMENTO 1

Tese 4

Inglês 2 Português 2

[en] CLASSICAL LOGIC 2 [en] MINIMAL LOGIC 2 [en] PROOF COMPRESSION 2 [en] PROOF THEORY 2 [pt] COMPRESSAO DE PROVA 2 [pt] LOGICA CLASSICA 2 Mais ... [pt] LOGICA MINIMAL 2 [pt] TEORIA DA PROVA 2 [en] ALGORITHM COMPLEXITY 1 [en] DIRECTED ACYCLIC GRAPH 1 [en] INTUITIONISTIC LOGIC 1 [en] LOGICAL ECUMENISM 1 [en] NATURAL DEDUCTION 1 [en] PROOF COMPLEXITY 1 [en] PURELY IMPLICATIONAL MINIMAL LOGIC 1 [pt] COMPLEXIDADE DE ALGORITMOS 1 [pt] COMPLEXIDADE DE PROVAS 1 [pt] DEDUCAO NATURAL 1 [pt] ECUMENISMO LOGICO 1 [pt] GRAFO ACICLICO DIRECIONADO 1 [pt] GRAFOS DE PROVA 1 [pt] INFERENCIA PROFUNDA 1 [pt] LOGICA BI-INTUICIONISTA 1 [pt] LOGICA INTUICIONISTA 1 [pt] LOGICA MINIMAL IMPLICACIONAL 1 [pt] LOGICA MINIMAL PURAMENTE IMPLICACIONAL 1 [pt] NORMALIZACAO FORTE 1 Ver todos ... menos ...