First Page | Document Content | |
---|---|---|
Date: 2009-04-03 05:11:01Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form | Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, AustriaAdd to Reading ListSource URL: www.phil.uu.nlDownload Document from Source WebsiteFile Size: 197,82 KBShare Document on Facebook |