张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
胡炳仙著2010 年出版195 页ISBN：9787811253931
自20世纪中叶以来，重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角，以分析政策主体的权力结构特征和权力分配形式为要旨，探讨重点大学政策的政策特征与制度逻...
社会学的理论逻辑 第4卷 古典思想的现代重建 塔尔科特·帕森斯
（美）杰佛里·C.亚历山大著2016 年出版735 页ISBN：9787100095549
本书是一部具有重大影响的社会学理论史著作，也是作者建立其新功能主义研究纲领的开端。第四卷主要论述了美国著名社会学家帕森斯的思想。...
陈兴良主编2005 年出版455 页ISBN：7801078047
本书以现当代美国家庭结构、精神、价值的变迁；探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代，一个稳固、成功的家庭对每个人生命的重...
刘巍，郝雁，陈昭著2008 年出版170 页ISBN：9787505877825
本书通过理论数字模型以及近年来我国进口贸易的实际发展数据分析了我国的进口贸易与经济增长和国民福利的关系，还从汇章变动对中国的进口贸易进行了数量关系的理论分析，对中国加入WTO前后贸易条件变化进行了...
面向21世纪的植物保护发展战略 中国植物保护学会第八届全国会员代表大会暨21世纪植物保护发展战略学术研讨会论文集
中国植物保护学会，中国农业科学院植物保护研究所，全国农业技术推广服务中心等合编；倪汉祥，成卓敏主编2001 年出版1297 页ISBN：7504631523
阿波斯托洛斯·佐克西亚季斯，赫里斯托斯·H.帕帕季米特里乌著2018 年出版340 页ISBN：9787300239385
本书是一本“逻辑学的傻瓜书”。全书由罗素的生平故事串联而成，始于罗素在一战时期的一场反战演讲，他认为判断英国是否参战应依据“理性”，并由此追溯自己的成长经历，早年对数学的浓厚兴趣为他打开了一个关于推...
武艳杰著2009 年出版154 页ISBN：9787505883826
国有银行制度变迁是有关我国经济发展的重大命题，本文从国有银行的产权特殊性和制度初始化条件的特殊性出发，将国家作为内生变量进行考察，认为国家利益最大化是制约国有银行体系制度变迁的最主要约束条件。从更...
