罗杰斯,H.jun。 递归函数和有效可计算性理论。 (英语) Zbl 0183.01401号 伯克希尔·梅登黑德:麦格劳-希尔出版公司,512 p.(1967)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于5评论引用于1535文件 关键词:递归理论、构造数学 PDF格式BibTeX公司 XML格式