Guglielmi, Alessio
Science, Math, Logic and Foundations, Proof Theory - Guglielmi, Alessio. Technical University of Dresden, Germany.
http://alessio.guglielmi.name/