Logic Colloquium 2022

Talk

Hyperarithmetical Worm Battles

Konstantinos Papafilippou

On  Thu, 11:30 ! Livein  M103for  20min
PDF Abstract
On-site

 Overview  Program

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