Proof Theory of Classical Logic
 January 22, 2008
 Propositional Gentzen Calculus,
pt0122_hnd.pdf
 January 25, 2008
 Predicate Gentzen Calculus,
pt0125_hnd.pdf
 January 29, 2008
 Steps in Cut Elimination,
pt0129_hnd.pdf
 February 1, 2008
 The CutEliminability Theorem,
pt0201_hnd.pdf
 February 5, 2008
 Pudlak's Exponential Arithmetic,
pt0205_hnd.pdf
 February 8, 2008
 Minimal Depth of a CutFree Proof,
pt0208_hnd.pdf
 February 12, 2008
  we do not meet this day
 February 15, 2008
 A Much Shorter Proof Containing Cuts,
pt0215_hnd.pdf
