<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-06-19 07:36:16Proof theory Philosophical logic Metalogic Noncommutative logic Linear logic Entailment Natural deduction Jean-Yves Girard Proof net Logic Substructural logic Deduction |
| First Page | Document Content | |
|---|---|---|
Date: 2007-06-19 07:36:16Proof theory Philosophical logic Metalogic Noncommutative logic Linear logic Entailment Natural deduction Jean-Yves Girard Proof net Logic Substructural logic Deduction |
