Курс А. В. Кудинова "Сложность неклассических логик"September 10–December 24, 2024, Steklov Mathematical Institute, Room 430 (8 Gubkina)
Lecturer Kudinov Andrey Valer'evich
Institutions Steklov Mathematical Institute of Russian Academy of Sciences, Moscow Steklov International Mathematical Center