Back to Results
First PageMeta Content
Cut-elimination theorem / Sequent / First-order logic / Linear logic / Craig interpolation / Structural rule / Propositional calculus / Rule of inference / Well-formed formula / Logic / Mathematical logic / Proof theory


ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299
Add to Reading List

Document Date: 2009-09-10 07:50:35

Open Document

File Size: 3,47 MB

Share Result on Facebook
UPDATE