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 |