逻辑
集论与逻辑 : 面向计算机科学
《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
形式逻辑要现代化——家龙师谈逻辑
《形式逻辑要现代化——家龙师谈逻辑》,作者:刘新文,贾青 编 出版社:科学出版社 ISBN:9787030595980。本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”
《论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”》,作者:王彬辉著 出版社:科学出版社 ISBN:7030175778。本书对环境法学者关于环境法本位的观点进行了详细介绍、分析和评价，从实证和应然两个角度对环境法本位进行了客观判断。同时以权利为本位完善中国环境法律制度和构建环境法学的权利模式研究体系进行了初步研究。
密码协议分析的逻辑方法
《密码协议分析的逻辑方法》,作者:雷新锋，薛锐著 出版社:科学出版社 ISBN:9787030370969。本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
经济测度逻辑挖掘：困难与原则
《经济测度逻辑挖掘：困难与原则》,作者:邱东 著 出版社:科学出版社 ISBN:9787030588746。 作为当代经济统计学批判之一，本书主要针对以斯蒂格利茨为首的“经济表现和社会进步测度委员会”的经济测度报告提出质疑。该报告可分为三大部分：传统 GDP 统计、生活质量测度和可持续发展测度。本书分析了经济测度“系统性革命”的必要性，特别是其可行性，指出了测度问题与解决办法之间的逻
对偶三角模－三角余模逻辑及推理
《对偶三角模－三角余模逻辑及推理》,作者:张兴芳 出版社:科学出版社 ISBN:9787030432803。本书总结作者张兴芳2005年以来关于概率论、Lawry的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果。根据非经典命题和谓词的不确定性的各种特征，作者分别提出了相应的逻辑和推理方法，概括其本质分别称为随机命题的概率逻辑、Vague命题的Lawry对偶三角
科学研究的逻辑-思考、判断胜于一切（第二版）
《科学研究的逻辑-思考、判断胜于一切（第二版）》,作者:张勘,沈福来 主编 出版社:科学出版社 ISBN:9787030565594。本系列书籍初步探索“临床医生科学研究能力均等化”的对策与方法，以期为我国今后临床医生的科学研究能力规范化培养，奠定一定的基础。 本系列书籍分为逻辑、方法、工具三册，试图将“科学研究”还原本质，化繁为简，使“科学研究”的定义与操作定义变得清晰、具体、可操作、易实践，
可编程逻辑器件与VHDL语言
《可编程逻辑器件与VHDL语言》,作者:程云长主编 出版社:科学出版社 ISBN:7030161033。本书分三部分：可编程逻辑器件CPLD和FPDA的基本原理、使用上述两种器件要用到的硬件描述语言，即VHDL语言，数字电路开发工具——MAX+plus ΙΙ。
