“arithmetization”的概念、定义、翻译、参考文献-科学参考

单词	arithmetization
释义	arithmetization Mathematics ＞数理逻辑与数学基础＞证明论＞释义 arithmetization算术化 arithmetization算术化^† Computer 理论计算机科学可计算性与计算复杂性释文 arithmetization算术化
随便看	金斯判据金斯利，B. 金斯利，C. 金斯利，H. 金斯基，N. 金斯堡，A. 金斯堡，Y.S. 金斯定理金斯峡谷国家公园金斯敦金斯方程金斯模型金斯波数金斯波长金斯环形山金斯球体金斯贝格，E. 金斯质量金斯逃逸公式金斯速度金斯速率金斯长度金斯顿金斯，J.H. 金新月

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。