逻辑集成电路搭载机器人制作入门
《逻辑集成电路搭载机器人制作入门》,作者:(日)城井田胜仁著；李庆维，赵丽译 出版社:科学出版社 ISBN:7030116976。本书讲解了逻辑集成电路搭载机器人制作的准备，高亮度LED的安装，可见光传感器的安装，分析传感器反应用的逻辑电路制作，驱动部分的安装等内容。
逻辑
密码协议分析的逻辑方法
《密码协议分析的逻辑方法》,作者:雷新锋，薛锐著 出版社:科学出版社 ISBN:9787030370969。本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
集论与逻辑 : 面向计算机科学
《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
形式逻辑要现代化——家龙师谈逻辑
《形式逻辑要现代化——家龙师谈逻辑》,作者:刘新文,贾青 编 出版社:科学出版社 ISBN:9787030595980。本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
逻辑动态系统代数状态空间法理论与应用
《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的，在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章，第1~4章介绍逻辑动态系统代数状态空间法；第5~8章为其各种应用，包括有限自动机的动态建模
基于农户行为逻辑的区域反贫困理论与实证研究
《基于农户行为逻辑的区域反贫困理论与实证研究》,作者:颜廷武著 出版社:科学出版社 ISBN:9787030431530。本书旨在将中西部欠发达地区的农户家庭作为研究对象，将区域经济发展置于农户家庭脱贫发展的前提下，对中西部地区农户投资、消费、储蓄与借贷及技术应用等主要经济行为进行实证分析，揭示其不同于东部发达地区农户的经济行为特征，探讨农户行为的逻辑机理及其对区域发展的正负影响。
科学研究的逻辑-思考、判断胜于一切（第二版）
《科学研究的逻辑-思考、判断胜于一切（第二版）》,作者:张勘,沈福来 主编 出版社:科学出版社 ISBN:9787030565594。本系列书籍初步探索“临床医生科学研究能力均等化”的对策与方法，以期为我国今后临床医生的科学研究能力规范化培养，奠定一定的基础。 本系列书籍分为逻辑、方法、工具三册，试图将“科学研究”还原本质，化繁为简，使“科学研究”的定义与操作定义变得清晰、具体、可操作、易实践，
论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”
《论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”》,作者:王彬辉著 出版社:科学出版社 ISBN:7030175778。本书对环境法学者关于环境法本位的观点进行了详细介绍、分析和评价，从实证和应然两个角度对环境法本位进行了客观判断。同时以权利为本位完善中国环境法律制度和构建环境法学的权利模式研究体系进行了初步研究。
科学研究的逻辑 : 思考、判断胜于一切
《科学研究的逻辑 : 思考、判断胜于一切》,作者:张勘，沈福来主编 出版社:科学出版社 ISBN:9787030440532。本书的主要内容：将科学研究作为一张指向知识宝藏的寻宝地图，介绍在去往藏宝点的路上，我们将始于何处（现实工作的现象）、沿途经历哪些风景（提出问题-制定规划-研究计划同行评议-现场取证-桌边验证-研究成果同行评议）、最终将到达何处（研究成果回归现实工作，螺旋上升的新起点），在这
