Logic Colloquium 2022

Speaker

Gerhard Jaeger

Personal page
Talks at this conference:
 Tue, 15:20 Proof Theory and Ordinal Analysis - The admissible extension of subsystems of second order arithmetic ! Live

 Overview

If you encounter any issues with this website, please get in touch with Léo Exibard.