First Page | Document Content | |
---|---|---|
![]() Date: 2012-08-23 09:24:17Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic | Add to Reading List |