Proof Theory
(Up) | Wikipedia: Proof theory | See also: Logic
Papers
A Paedagogic Example of Cut-Elimination (online @ richardzach.org) ★ 💭
(in Theorem Proving) Hyperproof: Logical Reasoning with Diagrams (online @ aaai.org) ★★
Books
Basic Proof Theory (borrow @ archive.org) ★ 💭
(in Theory of Computation) Theory of Deductive Systems and its Applications (borrow @ archive.org) ★★★ 💭