北卡罗来纳州贝尔亚金。 广义计算和二阶算术。 (英语。俄文原件) 兹伯利0278.02036 代数逻辑 9(1970), 225-243 (1971); 从代数逻辑9,375-405(1970)翻译而来。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 MSC公司: 03D60年 序数、容许集等的可计算性和递归理论。 2015年1月3日 递归序数和序数符号 03D25号 递归(可计算)可枚举集和度 03日第10天 图灵机及其相关概念 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Belyakin},代数逻辑9,225--243(1971;Zbl 0278.02036);代数逻辑9的翻译,375--405(1970) 全文: DOI程序 参考文献: [1] S.Kripke,“可容许序数上的超有限递归,I”,《符号逻辑杂志》,第29期,第3期,第161页(1964年)。 [2] S.K.Kleene,《元数学导论》,Van Nostrand,普林斯顿大学(1952年)·兹比尔0047.00703 [3] H.Rogers,Jr.,《递归函数和有效可计算性理论》,McGraw-Hill,纽约(1965年)。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。