Proof Theory / Foundations of Mathematics


Rosalie Iemhoff


1 & 2


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!

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License