Invited talk at the Proof Theory special session at LC'15

Post date: Nov 25, 2014 10:19:30 AM

I am invited to give a talk at the Proof Theory special session at the Logic Colloquium 2015 in Helsinki in August 2015.