{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,2]，“日期-时间”：“2022-04-02T06:48:22Z”，“时间戳”：1648882102642}，“参考-计数”：85，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“2”，“许可证”：[{“开始”：}“日期-零件”：[[2014,3,12]]，“日期时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：10876，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[1984,6]}”，“DOI”：“10.2307\/2274211”，“type”：“journal-article”，“created”：{“date-parts”：[[2006,5,6]]，“日期-时间”：“2006-05-06T22:08:28Z”，“时间戳”：1146953308000}，“页面”：“683-710”，“源”：“Crossref”，“is-referenced-by-count”：0，“标题”：[意大利佛罗伦萨符号逻辑协会会议1982”]，“前缀”：“10.1017”，“卷”：“49”，“作者”：[{“给定”：“E.”，“家族”：“Casari”，”序列“：”第一“，“从属关系”：[]}，{“给定”：“E.J.”，“family”：“Fenstad”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“G.”，“faily”：”Lolli“，”sequence“：”additional“，”affiliance“：[]{“给定”：“G”，“家族”：“Longo”，“序列”：“附加”，“从属关系”：[]}，}“giving”：“A.”，“家庭”：“Marcja”，“：”van Dalen“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“56”，“published-on-line”：{“date-parts”：[[2014,3,12]]}，“reference”：[{“key”：“S0022481200033843_ref059”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（76）90085-2”}，{“key”：“年份”：“1958”}，{“key”：“S0022481200033843_ref057”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-06841-4_60”}，{“key”：“S0022481200033843_ref056”，“DOI-asserted-by”：“publizer”，”DOI“：”10.1016\/0304-3975（80）90032-8“}，}”key“：”S0022481 200033843-ref055“，”首页“：”175“，”卷“：”26“，”年份“：”1979“，”日记标题“：”Publications de l'Institut Math\u00e 9matique de Beograd.Nouvelle S\u00e9rie“}，{”键“：“S0022481200033843_ref054”，“首页”：“539”，“卷”：“72”，“年份”：“1978”，“日记标题”：“美国数学学会学报”}，{“key”：“S022481200038843_rf053”，“第一页”：《471》，“volume-title”：“第二次世界数学会议为人类服务会议（拉斯帕尔马斯，1982）”}，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-4049（82）90001-9”}，{“key”：“S0022481200033843_ref050”，“volume-title”：“Pascal Theory”，”year“：”1973“}，”key“：”S0022481 200033843 _ref047“，”首页“：”101“，”volume“：“42”，“year”：“1967”，”journal-title“：”journal of the London Mathematical Society“}”，{”key：“”S0022481200033843_ref045“，”首页“：”140“，“volume-title”：“第二十二届计算机科学基础年会”，“年份”：“1981”}，{“key”：“S0022481200033843_ref044”，“volum-title“：”通信系统的微积分“，”volume“：”92“，”year“：”1980“}，”key“：f042“，”第一页“：“292”，“volume-title”：“1979年哥本哈根冬季学校关于抽象软件规范的会议记录”，“卷”：“86”，“年份”：“1980”}，{“key”：“S0022481200033843_ref040”，“volume-titel”：“lambda calculations.Its syntax and semantics”，“year”：“1981”}：“S0022481200033843_ref038”，“首页”：“97”，“卷-时间”：“拓扑、代数几何和逻辑”，“体积”：“247”，“年份”：“1972”}，{“键”：“S022481200038843_rf051”，“卷-时间”:“贾显理论”，“年”：“1983”}、{“关键”：“SO00224812000/33843_时间037”，”卷-时间“：“连续格纲要”，“年度”：“1980”}和{“密钥”：“S0022481200033843_ref036”，“doi-asserted-by”：“crossref”，“first page”：“152”，”doi“：”10.4064\/fm-17-1-152-170“，”volume“：”17“，”year“：”1931“，”journal-title“：”Fundamental Mathematicae“}，{”key“：“S0022481200033843_ref035”，“volume-title”：“Quaderni Serie III”，“year”：“1978”}，“key”：“组合逻辑”，“卷”：“II”，“年份”：“1972”}，{“键”：“S0022481200033843_ref033”，“卷标题”：“lambda演算。它的语法和语义”，“年”：“1981”}，｛“键”：“S0022481200033843_ref097”，“第一页”：“349”，“卷”：“24”，“年”：“1983”，“期刊标题”：“卡罗莱纳大学数学评论”}，｛“键”：“S0022481200033843_ref032”，“第一页”：“5”，“卷”：“39”，“年”：“1983”，“journal-title”：“Analele\u015et\u00fcn\u0163office ale University\u01ce\u0163ii\u201cAl.I.Cuza\u201d din la\u015-fi，Seria Nou01ce，Se\u00e7tiuna I a Matematica”}，{“key”：“S0022481200033843_ref096”，“首页”：“663”，“卷时间”：“一般拓扑学及其与现代分析和代数的关系。V（第五届布拉格研讨会论文集，1981）”，“年份”：“1982”}，{“key”：“S0022481200033843_ref031”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.19790251304”}：“S0022481200033843_ref030”，“首页”：“596”，“卷”：“67”，“年份”：“1964”，“日记标题”：“Koninklijke Nederlandse Akademie van Wetenschappen.Proceedings.Series A:Mathematical Sciences”}，{“key”：“S022481200038843_rf093”，“第一页”：”714“，“卷“48”，“年”：“1983”，“journal-title”：“在布尔代数上玩的游戏”}、{“key”：“S0022481200033843_ref091”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF00370323”}，{“key”：“S022481200038843_rf090”，“doi-assertd_by”：”publisher“，”doi“：”10.1007\/FF02757006“}，“key“：”S0022481 200033843-ref029“，”首页“51”，“volume-title”：“意大利科学哲学研究”，“年份”：“1981}，{“密钥”：“S0022481200033843_ref028”，“首页”：“609”，“卷”：“31”，“年份”：“1966”，“新闻标题”：“MIPC作为直觉主义情态概念的形式化”}，{“key”：“S0022481200033843_ref027”，“volume-title”：“一阶范畴逻辑”，“卷标”：“611”，“年”：“1977”}21997“}，{”键“：“S0022481200033843_ref025”，“volume-title”：“The axiom of choice”，“year”：“1973”}，{“key”：“S022481200038843_ref046”，“first page”：”19“，“volution”：：“15”，“year”：”1968“，“journal title”：”德布勒塞涅西大学数学研究所。Publicates Mathematicae“}，”key“：”S0022481 200033843 _ref089“，”first pages“：”531“，“volume”：“46”，“年份”：“1981”，“journal-title”：“关于模态逻辑的算术可证性证明理论”}，{“key”：“S0022481200033843_ref024”，“首页”：“223”，“卷时间”：“the Kleene Symposium”，“年份”：“1980年”}tle“：“模态逻辑论文”，“年份”：“1979”}，{“key”：“S0022481200033843_ref086”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.19810271304”}200033843_ref085“，“doi断言者”：“publisher”，“doi”：“10.1007\/BF202483724”｝，｛“key”：“S0022481200033843_ref020”，“doi断言者”：“publisher”，“doi”：“10.2307\/2371223”｝，｛“key”：“S0022481200033843_ref084”，“首页”：“107”，“卷标题”：“Unione Matematica Italiana，Bolletino，Supplemento”，“年份”：“1980”｝，｛“key”：“S0022481200033843_ref083”，“doi断言者”：“发布者”，“DOI”：“10.1007\/BF01192748”}，{“key”：“S0022481200033843_ref082”，“volume-title”：“局部有限群”，“year”：“1973”}publisher“，”DOI“：”10.1016\/0021-8693（79）90089-9“}，{“密钥”：“S0022481200033843_ref019”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0012-365X（72）90086-6”}，{“key”：“S022481200038843_rf016”，“首页”：“403”，“卷”：“1”，“年份”：“1982”，“日志标题”：“Unione Matematica Italiana Bolletino，B.Serie VI”}、{“密钥”：“SO0224812000/33843_ ref015”，“第一页”：529“，”卷“：”48“，”年份“：”1983“，”新闻标题“：“分类正等价关系”}，{“key”：“S0022481200033843_ref079”，“volume-title”：“数理逻辑”，“year”：“1968”}“”：“元数学简介”，“年份”：“1952”}，{“key”：“S0022481200033843_ref012”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0003-4843（80）90006-6”}022481200033843_ref011“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0003-4843（79）90019-6”}，{“key”：“S0022481200033843_ref076”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/S0002-9947-1980-0576874-2”}、{“密钥”：“SO022481200038843_rf022”，“doi-asserte-by”：“publisher”，“DI:”10.1016\\0304-3975（83）90136-6“}，}“key”：“s00224812000/33843”_ref075“，”首页“：”931“，”卷“：”48“，”年份“：”1983“，”期刊标题“：“A filter lambda-model and the complete of type assignment”}，{“key”：“S0022481200033843_ref010”，“first-page”：“329”，“volume-title”：“Proceedings from Fifth Scandinavian Logic Symposium”，“year”：“1979”}、{“key”：”S0022481 200033843-ref073“，“first page”：《159》，“volum-title》：“Logic Colloquium’78”，“year”：”1980“}”，{”key“：“S022481200038843_rf072”，“doi-asserted-by”：“publisher”，“doi”：“10.2140\/pjm.1979.84.1”}，{“key”：“S0022481200033843_ref070”，“首页”：“1”，“volume-title”：“滑轮在环理论中的应用讲座（Tulane University ring and operator theory year 1970\/71，volume III）”，“卷”：“248”，“年份”：“1971”}，“卷”：“12”，“年份”：“1971年”，“新闻标题”：“Commentationes Mathematicae Unhersitatis Carolinae”}，{“key”：“S0022481200033843_ref008”，“首页”：“33”，“卷”：“49”，“年”：“1960”，“journal-title”：“Fundamental Mathematical”}“}，{”key“：”S0022481200033843_ref005“，“首页”：“259”，“卷”：“23”，“年份”：“1981”，“日记标题”：“苏维埃数学\u2014Doklady”}，{“关键字”：“S0022481200033843_ref004”，“第一页”：”510“，”卷“：”21“，”年“：”1980“，”日记标题“：”苏维埃算术\u2014Domlady“}，”{“key”：“SO00224812000/33843_ ref069”，”首页“197”，”卷：“88”，“年”：“1979”，“新闻标题”：“Zapiski Nauchnykh Seminarov Leningradskogo Otdelenija Matematicheskogo Instituta imeni V.A.Steklova”}，{“key”：“S0022481200033843_ref003”，“首页”：“7”，“卷”：“2”，“年”：“1982”，“新闻标题”：“Oberwolfach Tangungsbericht”}标题“：“Zapiski Nauchnykh Seminarov Leningradskogo Otdelenija Matematicheskogo Instituta imeni V.A.Steklova”｝，｛“key”：“S0022481200033843_ref002”，“volume title”：“On\u03c9自由伪代数封闭域”，“year”：“1981”｝，｛“key”：“S0022481200033843_ref067”，“doi asserted by”：“publisher”，“doi”：“10.1016/0001-8708（80）90013-4”｝，｛“key”：“S0022481200033843_ref001”，“volume-title”：“柱面集合代数”，“卷”：“883”，“年份”：“1982”}，{“key”：“S0.022481200038843_rf066”，“doi-asserted-by”：“crossref”，“first page”：”73“，“doi”：“10.4064\/fm-541-73-93”，”volume“54”，“year”：“1964”，“journal-title“：”Fundamental Mathematical“}，”{“密钥”：“SO002244”81200033843_ref065“，”doi-asserted-by“：”publisher“，”doi“：“10.1007\/BF02123407”}，{“key”：“S0022481200033843_ref064”，“doi-asserted-by”：“crossref”，“first page”：”127“，”doi“：”10.4064\/fm-114-127-139“，”volume“：”114“，“year”：“1981”，“journal-title”：“Fundamental Mathematical”}、{“key”：，“新闻标题”：“Zentralblatt f \u00fcr Mathematik und ihrer Grenzgebiete”}，{“key”：“S0022481200033843_ref061”，“first page”：”1“，“volume-title”：“Logic Collocium’78”，“year”：“1979”}、{“key”：《S0022481》200033843 _ref060“，”doi-asserted-by“publisher”，“doi”：“10.1016\/0304-3975（76）90009-8”}；{“密钥”：“SO00224818”200033843_ref074“，”卷时间“：“斯德哥尔摩大学数学系报告”，“年份”：“1982”}]，“container-title”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200033843”，“内容类型”：“未指定”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{“日期-部分”：[[2019,5,23]]，“日期-时间”：“2019-05-23T20:48:13Z”，“时间戳”：1558644493000}，“分数”：1，“资源”:{“主要”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0022481200033843\/type\/journal_article”}}，《副标题》：[]，“短标题”：[]，“已发布”：{“日期-部分”用法：[[1984,6]]}，“references-count”：85，“journal-issue”：{“issue”：“2”，“published-print”：{“date-parts”：[[11984,6]}}，”alternative-id“：[”S0022481200033843“]，“URL”：“http://\/dx.doi.org\/10.2307\/2274211”，“relationship”：{}，‘ISSN’：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”value“：“0022-4812”，“type”：“print”}，{“value”：”1943-5886“，”type“：”electronic“}]，“subject”：[]，“已发布”：{“日期部分”：[[1984,6]]}}