Home» News» News» 周北海、刘壮虎、叶峰出席第八届逻辑大会,并提交论文

周北海、刘壮虎、叶峰出席第八届逻辑大会,并提交论文

发布日期:2008-10-31 作者:

北海、刘壮虎、叶峰出席第八届逻辑大会,并提交论文。叶峰在大会上作了主题报告《从自然主义的角度看形式主义与不完全性定理》。


发布时间:2008-10-31 05:54:56