电脑体验，效果更佳

广义量词图谱-自然科学领域：

研究人员

孙西芃 周平 谢惠扬 王捍贫 姜明

相关术语

格值模型论 一阶格值逻辑系统LF（X） 初等扩充 弱完备性定理

标签云