{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,6]]，“日期时间”：“2022-04-06T04:06:31Z”，“时间戳”：1649217991936}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”value“9783642209192”，“类型”：“打印”}，{“值”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_21”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，4,28]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”201-209“，“source”：”Crossref“，”is-referenced-by-count“：1，”title“：[”Omega-Rule的可计数版本“]，”前缀“：”10.1007“，”author“：[{”given“：”Grigori“，“family”：“薄荷”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“issue”：“2”，“key”：“21_CR1”，“doi-asserted-by”：“publisher”，”first page“：”3“，”doi“：”10.4213\/rm1401“，”volume“60”，“author”：“L.Beklemishev”，“year”：“2005”，“unstructured”：“Beklemishev，L.：形式算术中的反射原理和可证明代数。Usp.Matem.Nauk\u00a060（2），3\u201378（2005）；（俄语.英语翻译：Russian Math.Surv.60（2，“非结构化”：“Buchholz，W.：The \u03a9\n\u03bc\u2009+\u20091-规则。收录于：Buchhol，W.、Feferman，S.、Pohlers，W.和Sieg，W.（eds.）LNM，第\u00a0897卷，第188\u2013233页。Springer，Heidelberg（1981）“}，{”key“：”21_CR3“，”doi-asserted-by“：”publisher“，”first page“：“277”，”doi“：”10.1007\/BF01621472“，”volume“：30”，”author“：”W.Buchholz“，”year“：”1991“，”unstructured“：”Buchhol z，W.：无限导数符号系统。Arch.Math.Log.\u00a030，277\u2013296（1991）“，”journal-title“：”Arch.数学日志“}，{”键“：”21_CR4“，”doi断言者：“publisher”，“first page”：“255”，“doi”：“10.1007\\s01530000064”，“volume”：“40”，“author”：“W.Buchholz”，“year”：“2001”，“nonstructured”：“Buchholz，W.：解释Gentzen Takeuti减少步骤。架构（architecture）。数学。日志。\u00a040，255\u2013272（2001）“，”新闻标题“：”建筑。数学。日志。“}，{”key“：”21_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Buchholz，W.：以明晰的方式将序数与证明联系起来。摘自：《逻辑学讲义》，第u00a015卷，第37\u201359页（2002）“，”doi“：”10.1017\/9781316755983.003“}”，{“key”：“21_CR6”，“首页”：“38”，“volume-title”：“LNM”，“author”：“G.Kreisel”，“”年份“：”1975“，”非结构化“：”Kreisel，G.、Mints，G.和Simpson，S.：《初等元数学中抽象语言的使用》。收录于：LNM，第u00a0253卷，第38\u2013131页。Springer，Heidelberg（1975）“}，{”key“：”21_CR7“，”first page“：“527”，“volume”：“14”，“author”：“G.Mints”，“year”：“1976”，“unstructured”：“Mints，G.：规范树的普遍性。苏联数学。Dokl.\u00a014,527\u2013532（1976）”，“journal-title”：“苏联数学Mints，G.：超有限导数的有限研究。收录于：[9]，第17\u201372页；（俄文原文，1974）“}，{”key“：”21_CR9“，”series-title“：“证明理论研究，专著3”，”volume-title“：“证据理论论文选集”，”author“：”G.Mints“，”year“：”1992“，”unstructured“：”Mints，G.：“证明论论文选集。证据理论研究，专题3。Bibliopolis，Napoli（1992）“}”，“container-title”：[“逻辑、语言、信息和计算”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3642-20920-8_21”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,23]]，“date-time”：“2019-05-23T05:40:45Z”，“timestamp”：1558590045000}，“score”：1，“resource”：{（主要）：{”URL“：”http://link.springer.com\/10.1007\/978-3642-20920-8_21“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2011]}，《ISBN》：[“978383]642209192“，”9783642209208“]，”references-count“：9，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-20920-8_21“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2011】】}}}}