First Page | Document Content | |
---|---|---|
Date: 2011-03-23 04:19:42Mathematical logic Proof theory Logic Mathematics Cut-elimination theorem Sequent calculus Sequent Cut rule First-order logic Admissible rule Completeness Unification | ¨ ¨ fur Diplomarbeitsprasentationen der Fakultat ¨ InformatikAdd to Reading ListSource URL: www.logic.atDownload Document from Source WebsiteFile Size: 516,14 KBShare Document on Facebook |