by-topic/Proof Theory/README.md - The-Glosscubator (master) - git @ Cat's Eye Technologies

git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Proof Theory / README.md

master

master

Tree @master (Download .tar.gz)

README.md @master — view markup · raw · history · blame

Proof Theory

(Up) | See also: Logic

Papers

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

Books

Basic Proof Theory (borrow @ archive.org)