中国科学院数学与系统科学研究院期刊网
Roger Penrose爵士访谈录 (I)
Andrew Hodges
数学译林 . 2019, (4): 336 .