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.