逻辑类型理论 theory of logical types
·2,447,543篇论文数据，部分数据来源于NoteExpress
为了解决第三次数学危机， 罗素提出了逻辑主义的纲领， 并得到一些著名的逻辑学家的支持， 成为数理逻辑中的三大学派之一。
详细内容
应用推荐
模块上移
模块下移
不移动