递归可枚举集和图灵度：可计算函数与可计算生成集研究 = Recursively Enumerable Sets and Degerees：A Study of Computable Functions and Computably Generated Sets

Main Authors: 美 索尔 R.I. Soare, Robert I. (Robert I.Soare[著])
Published: 科学出版社
Publication Dates: 2007
Call Number: O141.3/4929