1.

Paul R. Halmos Na?ve Set Theory, Springer,1998.

2. Reinhard Diestel, Graph Theory, Springer-Verlag, 2000.
3. 张锦文，公理集合论导引，科学出版社，1999.
4. 徐俊明，图论及其应用（2版），中国科技大学出版社，2005.
5. J.A.邦迪，U.S.R.墨蒂，图论及其应用，科学出版社，1984.
6. Kenneth H. Rosen, Discrete Mathematics and Its Applications(fifth Edition),
Mc GrawHill （机工出版社影印版）2003.
 
7. 陆钟万，面向计算机科学的数理逻辑，北京大学出版社，(第二版，科学出版社，1998）
8. 王元元，计算机科学中的逻辑学，科学出版社， 1989.
9. 哈密尔顿，数理逻辑，朱水林译，华东师大出版 社，1986.
10. H. B.Enderton, A Mathematical Introduction to Logic (2ed Edition), Elsevier Press, 2001.