Logic Colloquium 2022

Speaker

Richard Matthews

Talks at this conference:
 Tue, 17:00 Proof Theory and Ordinal Analysis - On the Constructive Constructible Universe ! Live

 Overview

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