Back to Results
First PageMeta Content
Proof theory / Philosophical logic / Metalogic / Noncommutative logic / Linear logic / Entailment / Natural deduction / Jean-Yves Girard / Proof net / Logic / Substructural logic / Deduction


Document Date: 2007-06-19 07:36:16

Open Document

File Size: 482,50 KB

Share Result on Facebook
UPDATE