石纯一，王家廞编著2000 年出版224 页ISBN：7302040427
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
胡炳仙著2010 年出版195 页ISBN：9787811253931
自20世纪中叶以来，重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角，以分析政策主体的权力结构特征和权力分配形式为要旨，探讨重点大学政策的政策特征与制度逻...
陈兴良主编2005 年出版455 页ISBN：7801078047
本书以现当代美国家庭结构、精神、价值的变迁；探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代，一个稳固、成功的家庭对每个人生命的重...
崔杰凯，潘小春主编2013 年出版266 页ISBN：9787511419866
本书针对硕士专业学位考生，是复习硕士专业学位考试必备教材。本书针对联考试卷中逻辑板块，根据最新考试大纲编写，内容、难度最为贴近真题题型，全面展现题型特点，并精辟阐明解题思路。本书更加注重模拟实战训练，.....
汪纲领著2017 年出版364 页ISBN：9787564634575
《项目逻辑》以哲学的辩证思维、概念性思维和方法论来探讨项目建设管理中的复杂工程问题和管理问题，其中，以哲学思维指导研究，但并不涉及哲学的根本问题，以概念思维切入思考，却不涉及概念的哲学本质，根本目的完.....
朱勇主编；汪玉蓉，陈军旗副主编2007 年出版249 页ISBN：9787113076658
本书是朱勇教授主编的数字逻辑的配套习集解答。
何显明著2007 年出版380 页ISBN：7807302771
本书是政治学专著，研究我国地方政府信用问题的根源，以及改变现状的方法和途径。
