First Page | Document Content | |
---|---|---|
![]() Date: 2015-01-06 05:30:45Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics | Add to Reading List |