Teaching Award

• Wuhan University 2016-2017 Academic Year Undergraduate Outstanding Teaching Performance Award

Fundamentals of Mathematical Logic

• Herbert B. Enderton. A mathematical introduction to logic (2nd ed.), Boston, MA: Academic Press, 2001.
• George Boolos; John Burgess and Richard Jeffrey. Computability and Logic (4th ed.), Cambridge: Cambridge University Press, 2002.

Introduction to Recursion Theory

• Herbert B. Enderton. Computability Theory: An Introduction to Recursion Theory, Academic Press, 2010.

Introduction to Set Theory

• K. Hrbacek, and T. Jech. Introduction to Set Theory, New York: Marcel Dekker, Inc, 1999.
• K. Kunen. Set Theory, An Introduction to Independence Proofs, Amsterdam: North-Holland, 1980.

Introduction to Model Theory

• Chen Chung Chang and H. Jerome Keisler. Model Theory. Studies in Logic and the Foundations of Mathematics (3rd ed.). Elsevier, (1990) [1973].

Provability Logic

• George Boolos. The Logic of Provability. Cambridge University Press, 1993.

Topics on Gödel’s Incompleteness Theorem

• R. Murawski. Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems. Dordrecht: Kluwer，1999.
• Per Lindström. Aspects of Incompleteness, Lecture Notes in Logic v. 10，1997.

Topics on Metamathematics of Peano Arithmetic

• P. Hájek and P. Pudlák. Metamathematics of First-Order Arithmetic, Berlin: Springer, 1993.

Philosophy of Mathematics and Logic

• William Bragg Ewald. From Kant to Hilbert: A source book in the foundations of mathematics, Oxford University Press, USA, 2007.
• Solomon Feferman, John W. Dawson Jr, Warren Goldfarb, Charles Parsons and Wilfried Sieg. Kurt Gödel: Collected Works: Volume I-V, Oxford University Press, USA, 1986-2013.
• H. G. Dales and G. Oliveri. Truth in mathematics, Clarendon Press; Oxford University Press 1998.