{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,1,30]]，“日期时间”：“2024-01-30T21:40:02Z”，“时间戳”：1706650802706}，“参考计数”：18，“出版商”：“杜克大学出版社”，“问题”：“4”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1994,10,1]]}，”DOI“：”10.1305\/ndjfl\/1040408609“，”type“：”journal-article“，”created“：{”date-parts“：[[2003,2,25]]，”date-time“：”2003-02-25T21:35:23Z“，”timestamp“：1046208923000}，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“基本函数和LOOP程序”]，“prefix”：“10.1215”，“volume”：“35”，“作者”：[{“给定”：“兹拉坦”，“家族”：“达姆贾诺维奇”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“73”，“引用”：[}“键”：“1”，“非结构化”：“Bennett，J.H.，\u201cOn spectromes，\u201 D Ph.D.论文，普林斯顿大学，1962。”}，{“键“2”，“无结构”：“Boolos，G.S.和R.C.Jeffrey，《可计算性与逻辑》，第三版，剑桥大学出版社，剑桥，1989年。Zbl 0708.03001 MR 90h:03001“}，{“key”：“3”，“unstructured”：“Brainerd，W.S.和L.H.Landweber，《计算理论》，威利，纽约，1974年。MR 53:4590“}，{“key”：“4”，“doi-asserted-by”：“crossref”，“unstructured”：“Cleave，J.P.，\u201cA基本递归函数的层次结构，\u201 dZeitschrift f \u00fcr mathematische Logik und Grundlagen der Mathematik，第9卷（1963年），第331\u2013345页。Zbl 0224.02031 MR 28:2970“，“DOI”：“10.1002\/malq.19630092202”}，{“key”：“5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Constable，R.L.和A.B.Borodin，u201cSubrecursive编程语言，第一部分：效率和程序结构，u201d《计算机协会杂志》，第19卷（1972年），第526\u2013568页。Zbl 0259.68036“，”DOI“：”10.1145\/321707.321721“}，{”key“：”6“，”DOI-asserted-by“：”crossref“，”unstructured“：”Cutland，N.J。，《可计算性：递归函数理论导论》，剑桥大学出版社，剑桥，1980年。Zbl 0448.03029 MR 81i:03001“，”DOI“：”10.1017\/CBO9781139171496“}，{”key“：”7“，”DOI-asserted-by“：”publisher“，”unstructured“：”Damnjanovic，Z.，\u201c基本可实现性，\u2018年即将发布哲学逻辑杂志。Zbl 0874.03067 MR 98j:03088“，“DOI”：“10.1023\/A:1017994504149”}，{“key”：“8”，“unstructured”：“Davis，M.D.和E.J.Weyuker，《可计算性、复杂性和语言：理论计算机科学基础》，纽约学术出版社，1983年。Zbl 0569.68042 MR 86b:03001“}，{“key”：“9”，“doi-asserted-by”：“crossref”，“unstructured”：“Goetze，B.和W.Nehrlich，\u201c循环程序和子递归层次结构的结构，\u201 dZeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik，第26卷（1980），第255\u2013278页。Zbl 0439.03018 MR 81j:03066“，”DOI“：”10.1002\/malq.19800261407“｝，｛”key“：”10“，”DOI断言“：”publisher“，”nonstructured“：”Harrow，K.，\u201c有界算术层次结构，\u201d《信息与控制》，第36卷（1978年），第102\u2013117页。Zbl 0374.02019 MR 57:16010“，“DOI”：“10.1016\/S0019-9958（78）90257-7”}，{“key”：“11”，“DOI-asserted-by”：“crossref”，“unstructured”：“Herman，G.T.，\u201c初等函数不同层次的等价性，\u201 dZeitschrift f \u00fcr mathematische Logik und Grundlagen der Mathematik，第17卷（1971），第219\u2013224页。Zbl 0222.02043 MR 44:6494“，”DOI“：”10.1002\/malq.19710170125“}，{”key“：”12“，”unstructured“：”Jeffrey，R.C。，《形式逻辑：它的范围和限制》，第三版，麦格劳希尔出版社，纽约，1991年。Zbl 0925.03002“}，{“key”：“13”，“doi-asserted-by”：“crossref”，“unstructured”：“Meyer，A.R.和D.M.Ritchie，\u201cThe complexity of loop programs，\u201 D pp.465\u2013469 in《第二十二届全国计算机协会会议记录》，华盛顿特区汤普森，1967年，《苏联数学杂志》，第20卷（1982年），第2363\u20132366页。Zbl 0493.03017 MR 81b:03044“，”DOI“：”10.1007 \/BF01629447“}，{”key“：”15“，”DOI-asserted-by“：”crossref“，”unstructured“：”Quine，W.V.O.，\u201cConcatenation as a base for algorithm，\u201《符号逻辑杂志》，第11卷（1946年），第105-114页。Zbl 0063.06362 MR 8307b”，“DOI”：“10.2307\/2268308”}，｛“key”：“16”，“DOI断言”：“crossref”，“非结构化”：“Ritchie，R.W.，\u201c可预测计算函数类，\u201d《美国数学学会学报》，第106卷（1963年），第139-173页。Zbl 0107.01001 MR 28:2045“，“DOI”：“10.2307\/2271077”}，{“key”：“17”，“unstructured”：“Rose，H.E。，《次递归：函数和层次结构》，克拉伦登出版社，牛津，1984年。Zbl 0539.03018 MR 86g:03004“}，{“key”：“18”，“unstructured”：“Smullyan，R.M。，形式系统理论，《数学研究年鉴》，第47卷，普林斯顿大学出版社，普林斯顿，1961年。Zbl 0097.24503 MR 22:12042“}]，“container-title”：[“Notre Dame Journal of Formal Logic”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/projecteuclid.org\/journalArticle\/Download？urlid=10.1305\/ndjfl\/1040408609”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“存放”：{“date-parts”：[[2024年1月30日]]，“日期-时间”：“2024-01-30T21:12:19Z”，“时间戳”：1706649139000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/project欧几里得.org/journals \/notre-dame journal of formal logic \/volume-35\/issue-4\/初等函数和LOOP程序\/10.10305\/ndjfl\/1004008609.full”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1994,10,1]]}，“references-count”：18，“journal-issue”：{“issue”：“4”，“published-online”：{“date-parts”：[[1994,10,1]]}}，“URL”：“http://\/dx.doi.org\/10.1305\/ndjfl\/1040408609”，“relationship”：{}，”ISSN“：[”0029-4527“]，”ISSN-type“：[{”value“：”0029-4.527“，”“type”：“print”}]，“subject”：[]，“发布的“：{“date-parts”：[[1994,10,1]]}}}