First Page | Document Content | |
---|---|---|
![]() Date: 2009-09-20 10:38:00Non-classical logic Philosophical logic Model theory Mathematical constructivism Modal logic Kripke semantics First-order logic Intuitionistic logic Closure operator Logic Mathematical logic Mathematics | Add to Reading List |