First Page | Document Content | |
---|---|---|
![]() Date: 2013-04-16 05:40:26Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function | Add to Reading List |