龙城悠悠
無編輯摘要
17:52
+240
05:24
+293
创建页面，内容为“《'''数学原理及有关系统中的形式不可判定命题'''》，概述苏联(1917—1947)数理逻辑与数学基础研究结果的著作。莫斯科出版…”
20:34
+2,478