本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
很抱歉，没有找到相关图书
小编已在寻找书籍的路上～
电子书
电子书
韩林飞、闫国强、兰棋、王岩著的《建筑与抽象绘画(米兰理工大学莫斯科建筑学院选用教材)/北京交通大学哲学社会科学文库》由7章构成，从抽象绘画的诞生与发展到建筑空间的构成要素与组合，从抽象绘画的空间观到抽象绘画对建筑空间设计的启示，探究了现代建筑的空间观与抽象绘画的联系，并以现代建筑创始者勒·柯布西耶与世界著名建筑师扎哈·哈迪德为例，通过分析其专业经历、绘画创作和建筑设计作品，深入阐述了抽象绘画与建筑
电子书
本书内容包括：企业并购的风险概述、企业并购的风险及控制策略分析、中国企业并购的经典案例解析。
电子书
这是一本讲解Premiere Pro 2021重点技法及实际运用的书。
电子书
本书每章均配有课后习题，读者在学完案例后可以动手练习，以拓展自己的设计思维，提升平面设计能力。
电子书
针对零基础读者编写，入门级读者快速、全面掌握3ds Max 2016的参考书。
