<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-12-12 18:08:14Deduction Non-classical logic Propositional calculus Metalogic Sequent Natural deduction Entailment Cut-elimination theorem Deduction theorem Logic Mathematical logic Proof theory |
