逻辑
可编程逻辑器件与VHDL语言
《可编程逻辑器件与VHDL语言》,作者:程云长主编 出版社:科学出版社 ISBN:7030161033。本书分三部分：可编程逻辑器件CPLD和FPDA的基本原理、使用上述两种器件要用到的硬件描述语言，即VHDL语言，数字电路开发工具——MAX+plus ΙΙ。
数学·逻辑·语言 : 三种基础素养以及创想意识
《数学·逻辑·语言 : 三种基础素养以及创想意识》,作者:傅鹂 出版社:科学出版社 ISBN:9787030445186。本书含有数学、逻辑、语言以及创想各领域作者精选归纳的知识和作者独立思考、探索和研究的成果。全书分为：数学篇——确定与抽象制胜之典范、逻辑篇——理性的可靠与威力、升华篇——创想变奏曲等四篇。
碳中和：逻辑体系与技术需求
《碳中和：逻辑体系与技术需求》,作者:丁仲礼等 著 出版社:科学出版社 ISBN:9787030732859。2060年前实现碳中和，是党中央经过深思熟虑作出的重大战略决策，也是当前社会各界普遍关心的热点问题。作为最大的发展中国家，我国实现这个宏伟目标时间紧、压力大、任务重。在此背景下，如何绘制可落地的“碳中和”路线图，使我国在展现大国担当的同时，保障自身发展的权益，这是政策制定背后的重大科学问题
科学研究的逻辑 : 思考、判断胜于一切
《科学研究的逻辑 : 思考、判断胜于一切》,作者:张勘，沈福来主编 出版社:科学出版社 ISBN:9787030440532。本书的主要内容：将科学研究作为一张指向知识宝藏的寻宝地图，介绍在去往藏宝点的路上，我们将始于何处（现实工作的现象）、沿途经历哪些风景（提出问题-制定规划-研究计划同行评议-现场取证-桌边验证-研究成果同行评议）、最终将到达何处（研究成果回归现实工作，螺旋上升的新起点），在这
密码协议分析的逻辑方法
《密码协议分析的逻辑方法》,作者:雷新锋，薛锐著 出版社:科学出版社 ISBN:9787030370969。本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
