《遞歸可枚集合和圖靈度:可計(jì)算函數(shù)與可計(jì)算生成集研究(影印版)》主要內(nèi)容包括:An Informal DescriptionFormal Definitions of Computable FunctionsPrimitive Recursive Functions.Diagonalization and Partial Recursive FunctionsTuring Computable FunctionsThe Basic ResultsRecursive Permutations and Myhill's Isomorphism TheoremFundamentals of Recursively Enumerable Sets and the Recursion Theorem。