尼罗德，阿尼尔;理查德·肖尔（Richard A.Shore）。 应用程序逻辑。 （英语） Zbl 0842.03003号 计算机科学的文本和专著。纽约：施普林格出版社。十七、365页（1993年）。 这本书的书名表明，它是另一个适合初学者的逻辑入门。事实上，虽然这是一本介绍性的书，但它的目标读者是高年级本科生或数学或计算机科学的初级研究生。因此，这本书填补了教科书市场的一个重要空白。作者的信念是，数学逻辑及其某些应用应与应用数学一样容易获得，应用逻辑对许多以前定性学科的未来可能与普通应用数学对传统定量领域的重要性一样重要。虽然没有预设高等数学知识，但这本书只对具有广泛数学背景的学生有用。这本书是对经典谓词逻辑的严格介绍，涵盖了包括元理论在内的标准主题。它广泛使用了计算机语言PROLOG，尽管任何使用此材料的教师都可能需要用PROLOG文本来补充文本。逻辑及其元理论的表述严重偏向于计算机应用。最后两章讨论模态逻辑和直觉主义逻辑。附录提供了历史概述。广泛的参考书目为读者提供了进一步信息的建议。全书提供了大量练习（没有解决方案）。这本书的写作很容易适应各种不同的课程。虽然不可能在一个学期内涵盖整本书，但可以选择一个学期的课程、两个季度的课程和一年的课程。本卷写得紧凑，包含了所涵盖主题的大部分数学细节。这对积极性好的学生来说效果最好。审核人：A.M.Coyne（阿什维尔） 引用于1审查引用于13文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 03B10号机组 经典一阶逻辑 68N17号 逻辑编程 关键词：教材;数学逻辑;应用逻辑;经典谓词逻辑;PROLOG公司;模态逻辑;直觉逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore}，应用程序逻辑。纽约：Springer-Verlag（1993；Zbl 0842.03003）