Alexander Kreuzer: The Basics of Proof Theory

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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.