<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-01-28 10:15:20Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory |
Add to Reading List |
[hal, v2] Polarizing Double Negation Translations