{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,2]，“日期-时间”：“2022-04-02T00:28:26Z”，“时间戳”：1648859306543}，“参考-计数”：11，“出版商”：“Springer Science and Business Media LLC”“：”1983-12-01T00:00:00Z“，“timestamp”：439084800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Arch-math Logik“]，”published-print“：{”date-parts“：[[1983,12]}”，“DOI”：“10.1007\/bf02023007”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“日期-时间”：“2005-08-12T12:01:33Z”，“时间戳”：1123848093000}，“页面”：“1-10”，“源”：“Crossref”，“is-referenced-by-count”：4，“标题”：[“任意高阶有限阶谓词演算”]，“前缀”：“10.1007”，《卷》：“23”，“作者”：[{“给定”：“M.W.”，“家族”：“邦德”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“297”，“引用”：[{“键”：“BF02023007_CR1”，“volume-title”：“The foundations of mathematics”，“author”：“E.W.Beth”，“year”：“1968”，“unstructured”：“Beth，E.W.：The foundation of mathemethematics.Amsterdam：North-Holland 1968.”}，{“key”：“BF0223007_CR2”，“doi-asserted-by”：“crossref”，《第一页》：“341”，“doi”：“10.1305\/ndjfl\/1093890990997”，“卷”：“XIV”，“作者”：“M.W.Bunder”，“年”：“1973”，“非结构化”：“Bunder，M.W.：限制一般性的演绎定理。《圣母院形式逻辑杂志》XIV，341\u2013346（1973）。”，“日记标题”：“圣母院正式逻辑杂志”}，{“key”：“BF02023007_CR3”，“doi-asserted-by”：“crossref”，“first page”：”25“，“doi”：“10.1305”/ndjfl \/1093891196“，”卷：“XV”，“作者”：“M.W.Bunder”，“年份”：“1974年”，“非结构化”：“Bunder，M.W.：基于组合逻辑的命题和谓词演算。《圣母院形式逻辑杂志》第十五卷，第25期，201334页（1974年）。”，“期刊标题”：“圣母院形式逻辑杂志”}，{“key”：“BF02023007_CR4”，“volume-title”：“数理逻辑导论”，“author”：“A.Church”，“year”：“1956”，“unstructured”：“Church，A.：数理逻辑导论。普林斯顿：普林斯顿大学出版社1956。”}，{“key”：“BF02023007_CR5”，“doi asserted by”：“crossref”，“首页”：“489”，“doi”：“10.2307\/2273047”，“卷”：“38”，“作者”：“H.B.Curry”，“年份”：“1973”，“非结构化”：“Curry，H.B.：组合系统的一致性受到限制。符号。Logic38，489\u2013492（1973）。，“新闻标题”：“J.Symb。逻辑“}，{“key”：“BF02023007_CR6”，“volume-title”：“组合逻辑，第1卷”，“作者”：“H.B.Curry”，“年份”：“1959年”，“非结构化”：“Curry，H.B.，Feys，R.：组合逻辑，第一卷。阿姆斯特丹：North-Holland 1959年131“，”DOI“：”10.1016\/S0049-237X（08）71686-0“，”volume-title“：”形式系统和递归函数“，”author“：”R.Montague“，”year“：”1965“，”unstructured“：”Montaguy，R.：集合论和高阶逻辑。收录：Crossley，J.N.，Dummett，M.A.E.（编辑）：形式系统和递归函数，第131\u2013148页。阿姆斯特丹：North-Holland 1965。“}，{”key“：”BF02023007_CR9“，”doi-asserted-by“：”crossref“，”first page“：“97”，“doi”：“10.1007”，“volume”：“40”，“author”：“A.Tarski”，“year”：“1933”，“unstructured”：“塔斯基，A.：Einige Betrachtungen\u00fcber die Begriffe der \u03c9-Widerspruchsfreiheit und der \u03 c9-Vollst\u00e4ndigkeit。莫纳什。数学。Phys.40，97\u2013112（1933）。“，”新闻标题“：”莫纳什。数学。物理。“｝，｛”key“：”BF02023007_CR10“，”doi asserted by“：”crossref“，”first page“：”433“，”doi“：”10.1016\/S0049-237X（08）71962-1“，”卷标题“：”73 Bristol逻辑学术讨论会“，”作者“：”J.P.Seldin“，”年份“：”1975“，”非结构化“：”Seldin，J.P.：u213122中的平等“。在：Rose，H.E.，Shepherdson（编辑）：《布里斯托尔逻辑学术讨论会》73，第433\u2013444页。阿姆斯特丹：North-Holland 1975。“}，{”key“：”BF02023007_CR11“，”doi-asserted-by“：”crossref“，”first page“：“117”，“doi”：“10.1305”ndjfl“/1093887826”，“volume”：“XVIII”，“author”：“J.P.Seldin”，“year”：“1977”，“unstructured”：“Seldin，J.P.：TheQ-consistency of \u213122”。《圣母院形式逻辑杂志》第十八期，117\u2013127（1977）。“，”journal-title“：”Notre Dame journal of Formal Logic“}]，”container-title”：[“Archiv f\u00fcr Mathematische Logik und Grundlagendforschung”]，”original-title:[]，”language“：”en“，”link“：[{”URL“：”http://link.springer.com/content\/pdf\/10007\/BF02023007.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/article\/10.1007\/BF02023007\/fulltext.html”，“content-type”：“text\/html”，“内容-版本”：“vor”，“intended-application”：“文本-mining”}，}“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.10007\/BF0223007”，“目录-类型”：“未指定”，“content-version”：“vor”，“intended-aapplication”“：”相似性检查“}”，“存放”：{“日期部分”：[[2019,5,13]]，“日期时间”：“2019-05-13T22:39:56Z”，“时间戳”：1557787196000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\link.springer.com\/10.1007\/BF02023007”}，”副标题“[]”，“短标题”：[]，“发布”：{-“日期部分nces-count“：11，”日志问题“：{”问题“：”1“，”published-print“：{”date-parts“：[[1983,12]]}}，”alternative-id“：[”BF02023007“]，”URL“：”http://\/dx.doi.org\/10.1007\/BF02023007”，“relationship”：{}，“ISSN”：[“0933-5846”，“1432-0665”]，“ISSN-type”：[{“value”：“09335-5846”，“type”“：”print“}”，{“value”：“1432-665”，“类型”：“”电子“}”，“主题”：[]，“已发布”：{“日期部分”：[[1983,12]]}}}