Math » Logic and Foundations » Proof Theory

Guglielmi, Alessio

Science, Math, Logic and Foundations, Proof Theory - Guglielmi, Alessio. Technical University of Dresden, Germany.

http://alessio.guglielmi.name/