密码协议分析的逻辑方法
《密码协议分析的逻辑方法》,作者:雷新锋，薛锐著 出版社:科学出版社 ISBN:9787030370969。本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
逻辑
社会工程的逻辑 : 从社会批判到社会建构
《社会工程的逻辑 : 从社会批判到社会建构》,作者:田鹏颖著 出版社:科学出版社 ISBN:9787030377616。本书内容包括：思想中把握的世纪难题、现代性生成与现代性焦虑、现代性在现代社会的命运、现代社会理论的批判主旋、马克思的社会构建维度、唯物史观的社会工程转向、社会工程的建构主题、社会工程的基本建设。
经济测度逻辑挖掘：困难与原则
《经济测度逻辑挖掘：困难与原则》,作者:邱东 著 出版社:科学出版社 ISBN:9787030588746。 作为当代经济统计学批判之一，本书主要针对以斯蒂格利茨为首的“经济表现和社会进步测度委员会”的经济测度报告提出质疑。该报告可分为三大部分：传统 GDP 统计、生活质量测度和可持续发展测度。本书分析了经济测度“系统性革命”的必要性，特别是其可行性，指出了测度问题与解决办法之间的逻
基于自组织知识的经济增长逻辑
《基于自组织知识的经济增长逻辑》,作者:张尚毅 著 出版社:科学出版社 ISBN:9787030525598。本书系作者长期研究的心得与成果，其中的部分内容在国内公开学术刊物上发表，获得好评。本书立足于从知识角度来解释经济增长问题。经济制度体现为自组织知识均值的映射，自组织知识的增长直接关系到经济制度的演进。由于自组织知识是一个矢量，因而自组织知识不仅可以取正值也可以取负值。当负的自组织知识相对较
语言与逻辑——当代反实在论的核心问题研究
《语言与逻辑——当代反实在论的核心问题研究》,作者:胡瑞娜 出版社:科学出版社 ISBN:9787030475947。实在论与反实在论之争是当代西方哲学的核心问题之一。随着现代数理逻辑和量子力学的发展，实在论受到来自各方面的挑战。而现代数理逻辑和量子力学所证明的排中律和二价原则的无效性则为反实在论提供了强有力的依据。随着对形而上学的拒斥带来的“本体论的弱化”以及“语言学转向”的到来，语言和逻辑成
制度演化的逻辑 : 基于认知进化与主体间性的考察
《制度演化的逻辑 : 基于认知进化与主体间性的考察》,作者:顾自安著 出版社:科学出版社 ISBN:9787030314642。本书通过对既有制度研究成果的整合，指明了既有制度分析范式的缺陷及其必要转向，并通过对“制度与理性”这一核心命题的考察，对制度演化的内部逻辑进行了探索。
