Logic Colloquium 2022

Speaker

Iosif Petrakis

Talks at this conference:
 Thu, 12:10 Positive negation in constructive mathematics. ! Live

 Overview

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