Home» News» News» 10月29日 Lev Beklemishev教授报告

10月29日 Lev Beklemishev教授报告

发布日期:2024-10-29 作者:

  10月29日, Lev Beklemishev教授作了题为《Reflection Principles and Proof-theoretic Analysis》的报告。