First Page | Document Content | |
---|---|---|
![]() Date: 2015-01-06 05:11:07Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory | Add to Reading List |