RUS  ENG
Full version
SEMINARS
MIPT Interdepartmental Seminar on Discrete Mathematics
October 17, 2018 18:30, Dolgoprudnyi, Main building MIPT, room 113

Как теория доказательств пришла к своим ординалам

L. D. Beklemishev

© Steklov Math. Inst. of RAS, 2024