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

Document Date: 2008-02-06 05:45:02


Open Document

File Size: 294,53 KB

Share Result on Facebook
UPDATE