可以抄送上海交通大学陈翌佳老师，他是我知道的（计算机圈子中）少有的研究数理逻辑理论方面的专家之一。不过陈老师比较安静，很少听到他的声音。_新浪新闻

蔡少伟

25-06-30 22:35

可以抄送上海交通大学陈翌佳老师，他是我知道的（计算机圈子中）少有的研究数理逻辑理论方面的专家之一。不过陈老师比较安静，很少听到他的声音。

发布于北京