政府绩效评价的博弈结果与价值逻辑
《政府绩效评价的博弈结果与价值逻辑》,作者:郎玫著 出版社:科学出版社 ISBN:9787030597106。《政府绩效评价的博弈结果与价值逻辑》从政府绩效评价的价值维度入手，深入解答政府绩效评价价值定位与价值生成的过程，运用博弈论的方法解读政府绩效评价内部存在的价值博弈关系。《政府绩效评价的博弈结果与价值逻辑》以政府绩效评价的基础模型为依据,重新提出一套设计政府绩效评价方法的理论基础，即通过以政
逻辑
第二次现代化理论 : 人类发展的世界前沿和科学逻辑 : the frontiers and principles of human development
《第二次现代化理论 : 人类发展的世界前沿和科学逻辑 : the frontiers and principles of human development》,作者:何传启著 出版社:科学出版社 ISBN:9787030374134。本书系统分析了人类文明的四个时代及其前沿变化，综合比较了全球130多个国家的发展水平，系统分析了两次现代化的前沿过程和基本原理，阐述了18世纪以来人类发展的前沿变化及
半线性子结构逻辑的标准完备性（英文）
《半线性子结构逻辑的标准完备性（英文）》,作者:王三民 著 出版社:科学出版社 ISBN:9787030668769。本书系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作，对IUL完备性的证明进行了详细的论述，并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的
ALTERA可编程逻辑器件应用技术
《ALTERA可编程逻辑器件应用技术》,作者:于枫等编著 出版社:科学出版社 ISBN:7030139526。本书介绍了Altera公司的可编程逻辑器件的应用技术，重点介绍了开发软件包MAX+plus2的应用，并融入了作者的经验体会；同时扼要介绍了Altera公司第四代先进的开发软件Quartus2；最后以实例引导读者进一步理解、消化软件的应用方法。
临界的传递逻辑——模态逻辑的濒表格性问题探究
《临界的传递逻辑——模态逻辑的濒表格性问题探究》,作者:杜珊珊,康宏逵 著 出版社:科学出版社 ISBN:9787030530813。 本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视
中国农地流转市场转型逻辑
《中国农地流转市场转型逻辑》,作者:仇童伟 著 出版社:科学出版社 ISBN:9787030719393。本书利用全国29个省（自治区、直辖市）大规模农户调查数据，首先描述了我国农地流转市场现状；其次，从产权逻辑、职业分化逻辑、公共干预逻辑、社会互动逻辑和参照系逻辑五个方面剖析了农地市场化流转的内在逻辑；最后，从劳动力配置、种植结构调整和农业绩效改善三个层面考察了农地流转市场化的社会效应。研究发现
数学·逻辑·语言 : 三种基础素养以及创想意识
《数学·逻辑·语言 : 三种基础素养以及创想意识》,作者:傅鹂 出版社:科学出版社 ISBN:9787030445186。本书含有数学、逻辑、语言以及创想各领域作者精选归纳的知识和作者独立思考、探索和研究的成果。全书分为：数学篇——确定与抽象制胜之典范、逻辑篇——理性的可靠与威力、升华篇——创想变奏曲等四篇。
