莫德凯·本·阿里 计算机科学的数学逻辑。第2版。 （英语） 兹比尔1009.03001 伦敦：斯普林格。xiv，304 p.（2001）。 第二版的文本在很大程度上被改写了。然而，与第一版（1992年；Zbl 0808.68095号).在材料的章节分布中有一些小的变化。特别是，在本书的最后部分，关于逻辑编程和程序验证的章节在关于时序逻辑的章节之前，当然，现在包含了时序逻辑的应用（在第一版中不得不推迟）。添加了一些材料。最重要的补充是关于二进制决策图、约束逻辑编程和霍尔逻辑的完整性的部分。这本书仍然是对逻辑的初步介绍，主要侧重于计算机科学应用和算法方面。一些章节提到的更高级的主题通常没有证据，但对提供证据的其他来源有提示。这本书很好地介绍了计算机科学家。它甚至可能是一个很好的附加阅读为数学家和逻辑学家在本科课程。审核人：齐格弗里德·约翰内斯·戈特瓦尔德（莱比锡） 引用于1审查引用于4文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68T27型 人工智能中的逻辑 03B35型 证明和逻辑操作的机械化 03B44号 时间逻辑 03B70号 计算机科学中的逻辑 68问题55 计算理论中的语义学 68N17号 逻辑编程 关键词：经典逻辑;语义表;Gentzen系统;希尔伯特系统;复杂性;霍尔逻辑;逻辑程序设计;分辨率;时序逻辑;二元决策图 引文：Zbl 0808.68095号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}，计算机科学的数学逻辑。第二版，伦敦：施普林格出版社（2001；Zbl 1009.03001）