Dipartimento di Matematica
L’ora in cui dovrebbe iniziare una riunione: un gioco a campo medio
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability