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

单词	算术化
释义	算术化 Mathematics ＞数理逻辑与数学基础＞证明论＞释义 arithmetization算术化 arithmetization算术化^† Computer 理论计算机科学可计算性与计算复杂性释文 arithmetization算术化
随便看	Yang Biaozheng Yang Bin Yangbi Yizu Zizhixian Yang Bo Yang-cao Biological Ecology Yangchangban Yang Changji Yang Changye Yang Chaoying Yangcheng Yangcheng Evening News Yangcheng Evening News Group Yangcheng Hu Yangcheng Hu Bandao National Tourist Resort Yangcheng Xian Yang Chengzhi Yang Chengzhong Yang Chengzong Yang Chen Ning Yang Chen-Ning Yang, Chen Ning Yangchenning Yang Chen-Ning (1922—) Yang Chenyin Yang Chi

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