intuitionistic mathematics

网络释义

1.	直觉主义数学 mathematics ... interval mathematics 区间数学 intuitionistic mathematics 直觉主义数学 managerial mathematics 管理数学 ... dict.yqie.com
2.	直构数学 ...或具完整计算意义的数学基础理论（包括高阶逻辑）—「直构数学」(intuitionistic mathematics) 的定理与证明可在 MLTT 内 … joshkos.blogspot.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。