<--- Back to Details
| 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 |
Add to Reading List |
On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104
