我知道这更像是一门数学/形式语言/自动机/计算机科学问题，而不是编程问题，但我希望我能就易于理解的教科书（不是难以理解的专着）得到一些建议。超越命题和谓词微积分的形式逻辑。我对 monadic二阶逻辑和BüchiAutomata特别感兴趣。
目前，我只找到了Bakhadyr Khoussainov，Anil Nerode的Automata theory and its applications。 Automata, logics, and infinite games作者：ErichGrädel，Thomas Wilke（编辑）。 Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Benedikt Bollig ......我的头脑。
答案 0 :(得分：6)
所以这是我能提供的最佳课程：
初学者：
Peter J. Cameron，集合，逻辑和类别，Springer，Springer本科数学系列，1999，URL。
James L. Hein，离散结构，逻辑和可计算性，Jones＆amp;巴特利特出版社，2009年（第3版）URL。
计算机科学家的逻辑。
适用于自动机和正式语言的初学者：
Michael Sipser，计算理论导论，课程技术，2005（第二版），URL。
和
Alan P. Parkes，语言，机器和逻辑导论，Springer，2002。
和
Peter Linz，介绍正式语言和自动机，Jones＆amp; Bartlett Publishers，2000（3 ed）URL。
和
John E. Hopcroft和Jeffrey D. Ullman，自动机理论，语言和计算导论，Addison Wesley，1979，（第1版），ISBN：0-201-02988-X; URL。
中级逻辑（本科）：
d。艾宾浩斯，数学逻辑，施普林格，URL。
或
Elliott Mendelson，数学逻辑导论，URL
高级水平（研究生）：
Wolfgang Thomas， Languages, Automata and Logic ，1996。
Leoni Libkin，有限模型理论的要素，Springer，2004，URL，TOC。
研究
Benedikt Bolli，通信系统的正式模型，Springer，2006，URL。
Grädel，Erich;托马斯，沃尔夫冈; Wilke，Thomas（编辑），自动机，逻辑和无限游戏，Springer，2002，URL，
答案 1 :(得分：2)
我听说Michael Sipser Introduction to the Theory of Computation的好消息。我实际上把它放在我面前，虽然我还没有开始读它。
答案 2 :(得分：2)
您似乎从书中找到了您想要的特定主题，因此我查看了亚马逊中某些书籍的索引。虽然我从来没有读过这篇文章，但是Dexter C. Kozen的Theory of Computation可能会让你感兴趣。
Büchi automation, 155, 159, 161, 283, 298, 343
determinization, 167-170
monadic second-order theory
of n successors, 154
of successor, 154-159
所涵盖的页面位于Lecture 25 Automata on Infinite Strings and S1S，第一页可从链接预览。
答案 3 :(得分：0)
这可能不是你想要的，但我从Blackburn等人的Modal Logic那里学到了很多东西，我从Jurafsky和Martin的Speech and Language Processing学到了我对自动机的了解，特别是。第2章。如果不出意外，两者都为进一步研究提供了良好的基础。
答案 4 :(得分：0)
我记得在Principles of Model Checking中读过有关BüchiAutomata的文章，这本书看起来很不错。当然，重点是应用于模型检查，但模型检查主要是逻辑。
答案 5 :(得分：0)
你会有点惊讶，但我认为你正在寻找的书是Abiteboul，Hull和Vianu的数据库基础（也被称为“爱丽丝书”，因为爱丽丝被封面了和作者的章节介绍对话中的星星）。它不是一本关于SQL的书，而是关于数据库的理论 - 逻辑及其在程序和函数中的实现 - 因此它在查询语言的复杂性和可计算性问题上花费了很多;并且作者努力做到友好和沟通。
