[1] Patrick Blackburn, Maarten de Rijke and Yde Venema. Modal Logic, Cambridge University Press, 2001.
[2] Chang and Keisler. Model Theory (third edition), Elsevier, 1990.
[3] Herbert Enderton. A Mathematical Introduction to Logic, 2nd ed. Harcourt, 2001. 有中译本及影印本。
[4] Thomas Jech. Set Theory, the third Millennium edition, Springer, 2002.
[5] Kenneth Kunen. Set Theory, College Publications, 2011.
[6] Elliott Mendelson. Introduction to Mathematical Logic, 5th ed. CRC, 2009.
[7] Wolfram Pohlers. Proof Theory - The First Step into Impredicativity, Springer, 2009.
[8] Hartley Rogers, Jr. Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967.
[9] Robert Soare. Recursively Enumerable Sets and Degrees - A Study of Computable Functions and Computably Generated Sets, Springer, 1987.
[10] Dirk van Dalen. Logic and Structure, 4th ed. Springer, 2004.
[11] 王浩（著），康宏逵（译）. 哥德尔, 译文出版社，2002。
[12] 邢滔滔. 数理逻辑, 北京大学出版社，2008。
[13] 徐明. 符号逻辑讲义, 武汉大学出版社，2008。
[14] 叶峰. 一阶逻辑与一阶理论, 中国社会科学出版社，1994。