README.md

Proof Theory

(Up) | See also: Logic

Papers

A Paedagogic Example of Cut-Elimination (online @ richardzach.org) ★ 💭

Books

Basic Proof Theory (borrow @ archive.org)

(in Theory of Computation) Theory of Deductive Systems and its Applications (borrow @ archive.org) ★★★ 💭