Lecture on Proof Notations, Fall School in Logic, 2008

At the Fall School in Logic and Complexity 2008 I gave a lecture on "Proof Notations". Following the tradition of the fall school, the lecture was given using the black board. Nevertheless, it is nice to collect slides of all talks, so this is the closest analogue I can offer.
Klaus Aehlig

(Thanks to Markus Latte for taking the photos.)