拉夫罗夫,I.A。 可计算的数字。 (英语) Zbl 0386.03023号 找到逻辑。数学。,计算。理论;程序。第五届国际会议。,伦敦/安大略省,1975年,第1部分,195-206年(1977年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于三文件 MSC公司: 03D45号 计算理论,有效呈现结构 03D25号 递归(可计算)可枚举集和度 PDF格式BibTeX公司 XML格式