首次听说莫绍揆。见过王浩，一个有所成就的数理逻辑学家。

来源: 于 2011-10-19 10:08:48 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次