First Page | Document Content | |
---|---|---|
![]() Date: 2016-02-19 10:54:23Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem | Add to Reading List |