孔红著2013 年出版236 页ISBN：9787562049166
分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法...
沈红波，王建新编著2004 年出版274 页ISBN：7309042212
本书以05年正式在中小企业中实施的会计制度为蓝本，结合中小企业实际操作过程中遇到的新问题，对照细化的制度条款予以核算上的讲解。
李红波，张伟峰主编2010 年出版153 页ISBN：9787111314028
本书作为数控车工职业技能训练用书，内容上涵盖了国家职业标准《数控车工高级》的知识和技能要求。本书坚持以能力为本。
黎红波，李冬冬，徐从先主编2012 年出版167 页ISBN：9787516500811
本书主要介绍了色彩风景写生的相关知识，包括概论、观察方法和构图法则、色彩知识、元素训练以及水粉、水彩和油画风景写生等。
