Logic Colloquium 2022

Talk

Intermediate Goodstein principles.

Oriola Gjetaj

On  Fri, 14:20 ! Livein  M101 [M103]for  20min
PDF Abstract
On-site

 Overview  Program

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