电脑体验，效果更佳

直觉主义逻辑图谱-自然科学领域：

研究人员

董克诚 宋方敏 吴彤 刘大中 于金龙

相关术语

柯尔莫哥洛夫 否定 自然演绎型 类型论 信息论 反实在论 真值条件语义学 命题演算 概率论 希尔伯特型 复杂性 可构造性 意义理论

标签云