1_QC0sLHld_31递归可枚举集和图灵度 可计算函数与可计算生成集研究,ROBERT I.SOARE,北京：科学出版社_40195760

国外数学名著系列（影印版）