Invitation to a series of talks at the National University of Singapore

Date: Wednesday, 23.04.2014 and 30.04.2014, 13:00-15:00 hrs

Room: S17#05-11, Department of Mathematics, NUS

Speaker: Alexander Kreuzer

Title: The Basics of Proof Theory

These two lectures give a basic introduction to proof theory for people

who are familiar with mathematical logic in general.