电脑体验，效果更佳

一阶格值逻辑系统LF（X）图谱-自然科学领域：

研究人员

姜明 孙西芃 周平

相关术语

弱完备性定理 广义量词

标签云