First Page | Document Content | |
---|---|---|
Date: 2008-02-06 05:45:02Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic | On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104Add to Reading ListSource URL: www.phil.uu.nlDownload Document from Source WebsiteFile Size: 294,53 KBShare Document on Facebook |