Tree @
master
(
Download .tar.gz
)
..
commentary
Books.md
Papers.md
README.md
Papers.md
@
master
—
view markup
·
raw
·
history
·
blame
Proof Theory Papers
A Paedagogic Example of Cut-Elimination
authors: Richard Zach
date: 1992
online @
richardzach.org
.