{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,4,4]]，“日期-时间”：“2022-04-04T04:00:28Z”，“时间戳”：1649044828564}，“参考-计数”：14，“出版商”：“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\/bf02023019”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“日期-时间”：“2005-08-12T12:01:33Z”，“时间戳”：1123848093000｝，“页面”：“129-139”，“来源”：“交叉引用”，“被计数引用”：8，“标题”：[“Die Unentscheidbarkit der einstelligen Unendlicchwertigen Pr\u00e4dikatenlogik”]，“前缀”：“10.1007”，“卷”：“23”，“作者”：[｛“给定”：“Matthias”，“家族”：“Ragaz”，“序列”：“第一个”，“隶属关系”：[]｝]，“成员”：“297”，“reference”：[{“key”：“BF02023019_CR1”，“volume-title”：“无限值谓词逻辑理论”，“author”：“L.P.Belluce”，“year”：“1963”，“unstructured”：“Belluce，L.P.：无限值谓语逻辑理论。加州大学洛杉矶分校博士论文，1963年。”：“69”，“DOI”：“10.2307\/2270410”，“volume”：“29”，“author”：“L.P.Beluce”，“year”：“1964”，“unstructured”：“Beluce，L.P.：关于无限值谓词逻辑的进一步结果。J.Symb.Logic29，69\u201378（1964）。”，“journal-title”：“J.Symb.logic”}，{“key”：2307\/2271335“，“体积”：“28”，“author”：“L.P.Beluce”，“year”：“1963”，“unstructured”：“Belluce，L.P.，Chang，C.C.：无限值一阶逻辑的弱完备性定理。J.Symb.Logic28，43\u201350（1963）。”，“journal-title”：“J.Symber.logic”}，{“key”：“BF02023019_CR4”，“first page”：”68“，“volume”：8”，“auther”：“C.C.Chang”，“年份”：“961”，“非结构化”：“Chang，C.C.：无限值逻辑模型理论。I.Notices Am.Math.Soc.8，68（1961）。”，“journal-title”：“I.Notces Am.Math.Soc.”}，{“key”：“BF02023019_CR5”，“doi-asserted-by”：“crossref”，“first page”：”65“，“doi”：“10.7146\/Math.scan.a-10706”，“volume”：第14页，“author”：“J.E.Fenstad”，“year”：“1964”，“unstructured”：“Fenstad，J.E.：关于u0141ukasiewicz无限值逻辑中理解公理的一致性。Math.Scand.14，65\u201374（1964）。”，“日记标题”：“Math.Scan”}，{“key”：“BF02023019_CR6”，“doi-asserted-by”：“crossref”，“first page”：”77“，“doi”：“10.2307\/2271339”，“volume”：《28》，“author”：“L.S.Hay”，“year”：“1963”，“非结构化”：“Hay，L.S.：无限多值谓词演算的公理化。J.Symb.Logic28，77\u201386（1963）”，“日记标题”：“J.Symber.Logic”}，{“key”：“BF02023019_CR7”，“unstructured”：“Lorenzen，P.：Metamathematik.Mannheim 1962.”}、{“key”：《BF02023019.CR8》，“首页”：“1”，“卷”：“XXIII”，“作者”：“J\u0141ukasiewicz”，“年份”：“1930年”，“非结构化”：“\u0141ukasiewicz，J.，Tarski，A.：Untersuchungen\u00fcber den Aussagenkalk\u00fcl.Comptes Rendues des s\u00e9ances de la Soci\u00e8t\u00e9 des Sciences et des Lettres de VarsovieXXIII，1\u201321，Classe III（1930）。”，“期刊标题”：“Comptes Rendues des s\u 00e9nces de la Soci\u00e9t\u00e9 des Sciences ets des Letteres de Valsovie”}，{“key”：“BF02023019_CR9”，“doi-asserted-by”：“crossref”，“first-page”：“1”，“doi”：“10.2307\/2268660”，“volume”：”16“，“author”：“R.McNaughton”，“year”：“1951”，”unstructured“：”McNaught，R.：关于无限值句子逻辑的一个定理。J.Symb.Logic16，1\u201313（1951）。“，”journal-title“：”J.Symp.logic“}，{”key“：”BF020 23019_CR10“，”doi-asserted-by“：“crossref”，“first page”：“165”，”DOI“：”10.4064\/fm-50-2-165-190“，”volume“：”L“，”author“：”A.Mostowski“，”year“：”1961“，”unstructured“：”Mostowski，A.：一些多值谓词计算的公理化性。Fund.Math.L，165\u2013190（1961）。“，”journal-title“：”Fund.Math.“}，{”key“：“BF02023019_CR11”，“unstructure”：“Ragaz，M.：Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik.Diss.ETH Nr.6822，Z\u00fcrich 1981.”}，{“key”：“BF02023019_CR12”，“doi-asserted-by”：“crossref”，“first page”：”212“doi”：“10.2307\/2964677”，“volume”：：“25”，“author”：“J.D.Rutledge”，”“year”：“1960”，“unstructured”：“Rutledge，J.D.：关于无限多值谓词演算的定义。J.Symb.Logic25，212\u2013216（1960）。”，“日记标题”：“J.Symp.Logic”}，{“key”：“BF02023019_CR13”，“unstructured”：“Rudledge，JD.：无穷多值谓语演算的初步研究。康奈尔大学博士论文，1959年。”}、{“key”：“BF02023019_CR14”，“doi-asserted-by”：“crossref”，“first page”：“159”，”doi“：“10.2307\/2964111”，“volume”：”27“，“author”：“B.Scarpellini”，“year”：“1962”，“unstructured”：“Scarpelini，B.：Die Nichtaxiomatisierbarkeit des unendlichwertigen Pr\u00e4dikatenkalk\u00fcls von\u0141ukasiewicz.J.Symbol.Logic27，159\u2013170（1962）.“，“新闻标题”：“J。符号。Logic“}]，”container-title“：[”Archiv f\u00fcr Mathematische Logik und Grundlagenforschung“]，”original-title”：[]，”language“：”de“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BF02023019.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”http://\/link.springer.com/article\/10.1007\/BF02023019\/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\-link.springer.com/content\/pdf\/10.10007\/BF0223019“，”内容类型“：”unspecified“，”content-version”：“vor”，“intended_application”：“相似性检查”}]，“存放“：{”日期部分”：[[2019,5,13]]，“日期-时间”：“2019-05-13T22:39:56Z”，“时间戳”：1557787196000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/BF020223019”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1983,12]]｝，“引用次数”：14，“期刊发行”：｛“发行”：“1”，“已发布印刷品”：｛“日期部分”：[[1983,12]]｝，“alternative-id“：[”BF02023019“]，”URL“：”http://\/dx.doi.org\/10.1007\/BF02023019 3,12]]}}