阿尔伯特·R·迈耶。 弱一元二阶后继理论不是初等递归的。 (英语) Zbl 0326.02036号 逻辑协作,交响乐。逻辑波士顿1972-73,Lect。数学笔记。453, 132-154 (1975). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于27文件 MSC公司: 03B25号 理论和句子集的可判定性 05年3月 与逻辑问题相关的自动机和形式文法 03日第10天 图灵机及其相关概念 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式