Back to Results
First PageMeta Content
Non-classical logic / Boolean algebra / Propositional calculus / Substructural logic / Linear logic / Structural rule / Modal logic / Cut-elimination theorem / Negation / Logic / Mathematical logic / Proof theory


AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on
Add to Reading List

Document Date: 2007-12-18 10:38:04

Open Document

File Size: 41,37 KB

Share Result on Facebook
UPDATE