{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,1,30]]，“日期-时间”：“2024-01-30T21:40:14Z”，“时间戳”：1706650814008}，“引用-计数”：0，“出版商”：“杜克大学出版社”，“问题”：“4”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1987,10,1]]}，”DOI“：”10.1305\/ndjfl\/1093637648“，”type“：”journal-article“，”created“：”{”data-parts”：[[2005,12,13]]，“date-time”：“2005-12-13T11:04:41Z”，“timestamp”：1134471881000}，“source”：“Crossref”，“is-referenced-by-count”：16，“title”：[“论文变体：直觉主义和可计算性。“]，”前缀“：”10.1215“，”卷“：”28“，”作者“：[{”给定“：”查尔斯“，”家族“：”麦卡蒂“，”序列“：”第一“，”从属关系“：[]}]，”成员“：”73“，”容器标签“：[”圣母院形式逻辑杂志“]，”原始标题“：[]，”链接“：[}”URL“：”https:\/\/projecteuclid.org\/journalArticle\/下载？urlid=10.1305\/ndjfl\/1093637648“，”内容类型“：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,1,30]]，”date-time“：”2024-01-30T21:09:46Z“，”timestamp“：1706648986000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-28\/issue-4\/Variations-on-a-thesis-intuitionism-and-computability\/10.10305\/ndjfl\/1093637648.full“}}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1987,10,1]]}，“references-count”：0，“journal-issue”：{“issue”：“4”，“published-on-line”：{“日期部分”：[[1987,10,1]]}}，“URL”：“http://\/dx.doi.org\/10.10305\/ndjfl\/1093637648”，“关系”：{}，“ISSN”：[“0029-4527”]，“ISSN-type”：[{“值”：“0029-45027”，“类型”：“打印”}]，“主题”：[]，“已发布”：{“日期部分”：[[1987,10,1]]}}}