中国科学院数学与系统科学研究院期刊网
图灵精华文选
Andrew Hodges 叶红（译）叶其孝（校）
数学译林 . 2008, (2): 177 -188 .