集论与逻辑 : 面向计算机科学.pdf
本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
集论
集合论导引（第二卷）集论模型.pdf
本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从
人力资源管理集论.pdf
本书根据人力资源管理研究对象的不同，以相关企业为例，研究探讨了企业员工的招聘、培训、激励与使用，以及人力资源的开发与合理配置、企业文化建设、企业制度建设和团队管理等。全书分为七篇，第一篇，人力资源管理由九章构成，主要研究了企业人力资源的配置问题；第二篇，企业文化建设由四章构成