Proof Theory course at NASSLLI

Next week, Greg and I will be presenting an intensive course on proof theory at NASSLLI 2016. The course is Proof Theory: Logical and Philosophical Aspects. The slides are available online, as well as brief descriptions of each session’s content and the course proposal.