A.内罗德。 组合级数和递归等价类型。 (英语) Zbl 0168.01103号 芬丹。数学。 58, 113-141 (1966). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 关键词:递归理论、构造数学 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode},芬达姆。数学。58113--141(1966年;Zbl 0168.01103) 全文: 内政部 欧洲DML