Seminario di Matteo Tesi
Data: 24 OTTOBRE 2023 dalle 15:00 alle 16:30
Luogo: Sala Rossa, Via Azzo Gardino 23, Bologna
Organizzato da: Eugenio Orlandelli
In collaborazione con: Guido Gherardi
Con: Matteo Tesi
Seminario di Matteo Tesi (SNS) dal titolo "Ways to infinity in structural proof theory"
