RUS  ENG
Full version
SEMINARS

Structural Proof Theory and Algebraic Logic
February 8–May 17, 2021, MIPT - MI RAS, Moscow


Spring Semester Schedule of 2020/2021:

Time: Monday 16:45 – 18:10

First lecture: 8 February


Announcements:
Заключительная лекция состоится 17 мая. 3 и 10 мая лекций не будет.


Financial support. The course is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2019-1614).


Задачи к курсу (часть 1)
Задачи к курсу (часть 2)


RSS: Forthcoming seminars

Lecturer
Kuznetsov Stepan Lvovich

Organizations
Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center




© Steklov Math. Inst. of RAS, 2024