Proof Theory / Foundations of Mathematics
Instructor
Blocks
1 & 2
Topic
This tutorial will address some central themes in recent research in logic. Participation in this tutorial does presuppose a background in Logic. If you have questions, contact Rosalie Iemhoff (or Takahiro Yamada or Jetze Zoethout).
Use the "Discuss" button below if you want to make suggestions!