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