所以这是我能提供的最佳课程:
逻辑学初学者:
Peter J. Cameron,《集合、逻辑和范畴》,Springer,Springer Undergraduate Mathematics Series,1999年,URL。
James L. Hein,《离散结构、逻辑和可计算性》,Jones & Bartlett Publishers出版,2009年(第3版),URL。
面向计算机科学家的逻辑学。
自动机和形式语言初学者:
Michael Sipser,《计算理论导论》,Course Technology出版,2005年(第2版),URL。
和
Alan P. Parkes,《语言、机器和逻辑导论》,Springer,2002年。
和
Peter Linz,《形式语言与自动机导论》,Jones & Bartlett Publishers,2000年(第3版)URL。
和
John E. Hopcroft和Jeffrey D. Ullman,《自动机理论、语言和计算机导论》,Addison Wesley,1979年(第1版),ISBN:0-201-02988-X;URL。
中级逻辑(本科):
D. Ebbinghaus,《数学逻辑》,Springer,URL。
或者
Elliott Mendelson,《数理逻辑导论》URL
高级水平(研究生):
Wolfgang Thomas,《语言、自动机和逻辑》URL,1996年。
Leoni Libkin,《有限模型理论要素》Springer,2004年,URL,TOC。
研究用:
Benedikt Bolli,《通信系统的形式模型》,Springer,2006年,URL。
Grädel, Erich; Thomas, Wolfgang; Wilke, Thomas (编者),《自动机、逻辑和无限游戏》,Springer,2002年,URL,