尼禄，阿尼尔;理查德·肖尔（Richard A.Shore）。 应用程序逻辑。第2版。 （英语） Zbl 0874.03004号 计算机科学研究生课程纽约州纽约市：施普林格。xiii，456页（1997年）。 这本教科书是面向逻辑在计算机科学中的应用的数学逻辑导论的第二版。[关于第一版（1993年）的审查，请参见Zbl 0842.03003号.]讨论了语法、语义、可靠性、完备性、紧性等常见主题，以及斯科勒姆·洛文海姆（Skolem-Löwenheim）和赫伯兰德（Herbrand）的定理。然而，引入了模态逻辑和直觉逻辑，包括这些系统的语法和语义。在整个文本中，PROLOG被广泛使用。本版新增了关于集合论元素的一章。几乎每一节的末尾都包含了各种各样的问题，包括PROLOG中的大量编程问题，这些问题既可以用于理论分析，也可以用于实际实现。这本书包含了足够的研究生一学期课程的材料，以及适合于一学期本科课程的材料子集。虽然假设之前没有接触过逻辑，但这本书是以高级水平编写的，对于那些已经有高等数学和计算机科学课程经验的积极性很高的学生来说，效果最好。逻辑简史载于附录中。每一章都有进一步阅读的建议，本卷末尾有一份相当广泛的参考书目。审核人：A.M.Coyne（阿什维尔） 引用于13文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 03B10号机组 经典一阶逻辑 68N17号 逻辑编程 关键词：应用逻辑;经典谓词逻辑;模态逻辑;直觉逻辑;教材;数学逻辑;逻辑在计算机科学中的应用;PROLOG公司;集合论 引文：Zbl 0842.03003号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore}，应用程序逻辑。第二版，纽约州纽约市：施普林格（1997；Zbl 0874.03004）