＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- Pingjiang Xian
- Pingjinguan Series
- Ping Jinya
- Pingju Opera
- Pingju Opera Monographs
- Pingju opera music
- pingle coalfield
- Pingle Xian
- Pingle Zhen
- Pingliang Museum
- Pingliang Shi
- Pingliangtai
- Pingli Nüwa Yinfeng tea
- Pingli Xian
- Ping Lu
- Pinglu Canal
- Pingluo Xian
- Pinglu Qu
- Pinglu Xian
- PingMiao JiLue
- PingMin Park in BeiBei
- Pingnan Xian
- Ping Opera Troupe of Tangshan City
- ping-pong diplomacy
- Pingqiao Qu