RUS
ENG
Full version
SEMINARS
November 28, 2025
12:00
, D. K. Faddeev Academic Gymnasium at Saint Petersburg State University
Gentzen's proof
A. I. Bufetov
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
©
Steklov Math. Inst. of RAS
, 2025
