10
student creative groups are operated by the HSE Centre for Creative Production and Cultural Programmes.
Saturday, September 13
Sergei Artemov's talk 'The Consistency of Peano Arithmetic PA Is Provable in PA, After All'
student creative groups are operated by the HSE Centre for Creative Production and Cultural Programmes.