Getting Recognition for the Work that has been done
From May 25-26, 2013, the most recent in the series of regular meetings of the HSE International Advisory Committee took place at the HSE.
26 May
2013
1
Saturday, September 13
17:00
Sergei Artemov's talk 'The Consistency of Peano Arithmetic PA Is Provable in PA, After All'
online