会员登录
|
快速注册
|
忘记密码?
论坛首页
哲学根基
传统数学的批判
新数学摘要
新数学的应用
时间公理与规则本体
新数学实例
新数学论坛
»
传统数学的批判
» HoTT
HoTT
版主:shongvs shongvs
主题:25
标题
作者
回复/点击
最后回复
标题
作者
回复/点击
最后回复
快速搜索:
含回复
分类:
请选择分类
哲学根基
自指问题
传统数学的批判
HoTT
新数学摘要
新数学的应用
时间公理与规则本体
新数学实例
标题:
内容:
验证:
* 匿名发表需要进行验证!