Logic Colloquium 2022

Speaker

Elio La Rosa

Talks at this conference:
 Tue, 11:30 Normalization for epsilon calculus. ! Live

 Overview

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