First Page | Document Content | |
---|---|---|
![]() Date: 2007-12-16 08:06:13Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic | Add to Reading List |