中国科学院数学与系统科学研究院期刊网
数论中的不可判定性
Bjorn Poonen 李福安（译） 冯绪宁（校）
数学译林 . 2010, (1): 8 -16 .