Document Versions

Constructivism and Proof Theory –A. S. Troelstra — 2003
Proof Theory –Helmut Schwichtenberg — 2006
Proof Theory –Helmut Schwichtenberg, Kripke Structure — 1999