HSE Supports International Negotiations
The Higher School of Economics has been assisting with recent negotiations on Russia’s accession to the Organization for Economic Cooperation and Development (OECD).
Saturday, September 13
Sergei Artemov's talk 'The Consistency of Peano Arithmetic PA Is Provable in PA, After All'