形式逻辑要现代化——家龙师谈逻辑
《形式逻辑要现代化——家龙师谈逻辑》,作者:刘新文,贾青 编 出版社:科学出版社 ISBN:9787030595980。本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
刘新文
烧旺理性的火焰——约翰谈逻辑
《烧旺理性的火焰——约翰谈逻辑》,作者:刘新文 编 出版社:科学出版社 ISBN:9787030521606。2006～2011年，清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作，以“逻辑之门”为题，分四卷陆续出版。每一卷译著出版之后，著译者们都举办交流活动，然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主
