2024-04-19T06:08:12Z https://oai.zbmath.org/v1/

oai:zbmath.org:6870291 2018年5月18日13:45:46Z 03

David Makinson（伦敦） 威廉·汉森。 2018 6870291 英语 印第安纳州圣母大学；北卡罗来纳州达勒姆杜克大学出版社 https://zbmath.org/06870291 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 《圣母院J.形式逻辑》59，第2期，233-284（2018）。 03B45；03B60号 实用主义、严肃实用主义和量化模态逻辑 j个