电脑体验，效果更佳

惠富春图谱-自然科学领域：

相关人员

陈建文 丁红 张民悦 黄灿云

研究领域

阶段结构 证明论 上下解 持久性 逆序 比较原理 Godel数 Godel不完备性定理

所属机构

甘肃兰州 兰州大学数学系 兰州理工大学理学院 甘肃工业大学基础科学系 甘肃兰州730050兰州大学数学系

标签云