Back to Results
First PageMeta Content
Logic / 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, Austria
Add to Reading List

Document Date: 2009-04-03 05:11:01

Open Document

File Size: 197,82 KB

Share Result on Facebook