×

广义计算和二阶算术。 (英语。俄文原件) 兹伯利0278.02036

代数逻辑 9(1970), 225-243 (1971); 从代数逻辑9,375-405(1970)翻译而来。

MSC公司:

03D60年 序数、容许集等的可计算性和递归理论。
2015年1月3日 递归序数和序数符号
03D25号 递归(可计算)可枚举集和度
03日第10天 图灵机及其相关概念
PDF格式BibTeX公司 XML格式引用
全文: 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。