Back to Results
First PageMeta Content
Non-classical logic / Philosophical logic / Model theory / Mathematical constructivism / Modal logic / Kripke semantics / First-order logic / Intuitionistic logic / Closure operator / Logic / Mathematical logic / Mathematics


doi:[removed]j.jal[removed]
Add to Reading List

Document Date: 2009-09-20 10:38:00


Open Document

File Size: 154,66 KB

Share Result on Facebook
UPDATE