我知道这更像是一个数学/形式语言/自动机/计算机科学问题，而不是一个编程问题，但我希望我能得到一些关于除了命题和谓词微积分之外的形式逻辑的易于理解的教科书（不是难以理解的专着）的建议。我对一元二阶逻辑和Büchi Automata特别感兴趣。
目前，我只发现 了 Bakhadyr Khoussainov 和 Anil Nerode 的自动机理论及其应用。自动机、逻辑和无限游戏作者：Erich Grädel、Thomas Wilke（编）。和通信系统的形式模型：语言、自动机和一元二阶逻辑Benedikt Bollig ......在我头上。
所以这是我能得到的最好的课程：
对于逻辑初学者：
Peter J. Cameron，集合、逻辑和类别，Springer，Springer 本科数学系列，1999，URL。
James L. Hein，离散结构、逻辑和可计算性，Jones & Bartlett Publishers，2009 年（第 3 版）URL。
计算机科学家的逻辑。
对于自动机和形式语言的初学者：
Michael Sipser，计算理论导论，课程技术，2005 年（第 2 期），URL。
和
Alan P. Parkes，《语言、机器和逻辑导论》，Springer，2002 年。
和
Peter Linz，形式语言和自动机简介，Jones & Bartlett Publishers，2000 (3 ed) URL。
和
John E. Hopcroft 和 Jeffrey D. Ullman，自动机理论、语言和计算导论，Addison Wesley，1979 年，（第 1 版），ISBN：0-201-02988-X；网址。
中级逻辑（本科）：
D. 艾宾浩斯，数学逻辑，施普林格，URL。
或者
艾略特·门德尔森，数理逻辑导论，网址
高级（研究生）：
Wolfgang Thomas，语言、自动机和逻辑，1996 年。
Leoni Libkin，有限模型理论的要素，Springer，2004，URL，TOC。
用于研究
Benedikt Bolli，通信系统的形式模型，Springer，2006，URL。
格雷德尔，埃里希；托马斯，沃尔夫冈；Wilke, Thomas (Eds.)，自动机、逻辑和无限游戏，Springer，2002，URL，
您似乎有想要从书中获得的特定主题，所以我查看了亚马逊中一些书籍的索引。虽然我从未读过这本书，但Dexter C. Kozen的《计算理论》可能会让你感兴趣。
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中，第一页可通过链接进行预览。
计算理论 http://ecx.images-amazon.com/images/I/51JKHJGWBRL._BO2,204,203,35,-76_AA240_SH20_OU01_.jpg
我听说过有关 Michael Sipser 的《计算理论导论》的好消息。我实际上就在我面前，虽然我还没有开始阅读它。
这可能不是您想要的，但我从 Blackburn 等人的Modal Logic中学到了很多东西，并且我从 Jurafsky 和 Martin 的Speech and Language Processing中学到了我所知道的自动机，尤其是。第 2 章。如果不出意外，两者都为进一步研究提供了极好的基础。
我记得在《模型检查原理》中读过 Büchi Automata ，这似乎是一本不错的书。当然，重点是模型检查的应用，但无论如何，模型检查主要是逻辑。
你会有点惊讶，但我认为你要找的书是 Abiteboul、Hull 和 Vianu 的《数据库基础》（也被称为“爱丽丝书”，因为爱丽丝被画在封面上，并且在与作者的章节介绍对话）。这不是一本关于 SQL 的书，而是关于数据库理论的书——逻辑及其在程序和函数中的实现——所以它在查询语言的复杂性和可计算性问题上花费了很多；作者努力保持友好和交流。
