Back to Results
First PageMeta Content
Mathematical logic / Proof theory / Logic / Mathematics / Cut-elimination theorem / Sequent calculus / Sequent / Cut rule / First-order logic / Admissible rule / Completeness / Unification


¨ ¨ fur Diplomarbeitsprasentationen der Fakultat ¨ Informatik
Add to Reading List

Document Date: 2011-03-23 04:19:42

Open Document

File Size: 516,14 KB

Share Result on Facebook