刘新文的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
形式逻辑要现代化
刘新文
评分 暂无
《形式逻辑要现代化——家龙师谈逻辑》收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
全景摄影和PTGui Pro详解
《全景摄影和PTGui Pro详解》一书，介绍了全景摄影的基本概念、发展过程、基本技巧与目前达到的水平，以及从事全景摄影所需要的特殊附件、器材，操作的流程，拍摄和后期处理的难点和特殊技巧，同时详细讲解了全景摄影专业软件之一PTGui Pro，既涉及了软件全面的功能和使用，又列出了选项的含义与选择建议。全书图文并茂，精心设计的示意图，将抽象的内容形象化，降低了阅读的难度，增加了读者的兴趣；配以
图式逻辑
《图式逻辑》考察的对象是历史上著名的逻辑图及其逻辑理论。逻辑图首先是为理解亚里士多德的直言命题和三段论推理而发展起来的，其开端一般追溯到欧拉图。围绕着图形的可表达性问题，在长期的历史发展过程中，经过欧拉、文恩和皮尔士等人的努力，逻辑图从最初的设想变成了现实，从最初的简单表述三段论的工具发展成了关系逻辑和模态逻辑等的图式表示。皮尔士的革命性思想不仅克服了逻辑图的重大缺陷，而且为逻辑图打开了一个新的天
