孙明湘著2004 年出版223 页ISBN：7810619683
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
刘忠山主编2004 年出版198 页ISBN：780698111X
本套书以适合大众阅读的古典文学作品为主，兼收《中华成语故事》、《中华上下五千年》和《孙子兵法与三十六计》等三本，是一套介绍中国的优秀传统文化的书籍。...
乔赫水主编2006 年出版286 页ISBN：7807022868
专题黑马：一次方程与不等式 初中数学（组 新课标彩色版），ISBN：9787807022862，作者：蔡上鹤
