Home» News» News» 4月13日叶凌远报告

News

4月13日叶凌远报告

发布日期：2021-04-20 作者：

  4月13日，叶凌远做了题为《Categories Are the Right Land for (Mathematical) Logic》的报告。