First Page | Document Content | |
---|---|---|
![]() Date: 2016-06-10 10:39:23Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic | Add to Reading List |