＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- tianquan
- Tianquan and Liufan Pacification Commission
- Tianquan Xian
- tianrong
- Tian Rucheng
- Tian Rukang
- Tianshan Film Studio
- Tianshanjincai
- Tianshan North Slope Economic Zone
- Tianshan North Slope Urban Agglomeration
- Tianshan orogenic belt
- Tianshan Qu
- Tianshan Shanmai
- Tianshan souslik
- Tianshan Tianchi
- Tianshan wapiti
- Tian Shaopeng
- Tian Shelang
- Tian Sheng Ling
- Tianshengqiao Shuidianzhan
- TianshengqiaoⅠHydropower Station
- Tianshengqiao ⅡHydropower Station
- Tiansheweng
- Tianshidong in Mount Qingcheng
- Tian Shiguang