News and Events: Upcoming Events

17 March 2021, Proof Theory Virtual Seminar, Andreas Weiermann

Speaker: Andreas Weiermann (Ghent)
Title: Notation systems for natural numbers and Goodstein sequences
Date: Wednesday 17 March 2021
Time: 10:00-11:00
Location: Online via Zoom