First Page | Document Content | |
---|---|---|
![]() Date: 2002-07-15 23:21:00Proof theory Deduction Propositional calculus Method of analytic tableaux First-order logic Entailment Interpolation Sequent calculus Curry–Howard correspondence Logic Mathematical logic Automated theorem proving | Add to Reading List |