本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
很抱歉，没有找到相关图书
小编已在寻找书籍的路上～
电子书
电子书
青少年篮球入门教程由具有丰富的青少年篮球执教经验的NBA 姚明篮球俱乐部前技术总监高山教练与专业的体能培训机构合力打造！
针对青少年提供篮球技术和体能训练方面的指导
详解60项基础技术、17项技术提升练习
身体控制、球性训练、运球、传接球、投篮
提供30个篮球专项体能训练动作
整合式热身、增强式训练、速度灵敏训练、力量训练
随书附赠131段动作指导视频！
结合动作指导视频学习，轻松提高运动表现！
上海市篮球协会副会长 陈德春
北京市篮球运动协会秘书长、首都体育学院教授 薛正武
湖北省篮球协会副秘书长、武汉体育学院教授 申甫
国家男子篮球队前主力大前锋 马健
专业推荐
电子书
韩林飞、闫国强、兰棋、王岩著的《建筑与抽象绘画(米兰理工大学莫斯科建筑学院选用教材)/北京交通大学哲学社会科学文库》由7章构成，从抽象绘画的诞生与发展到建筑空间的构成要素与组合，从抽象绘画的空间观到抽象绘画对建筑空间设计的启示，探究了现代建筑的空间观与抽象绘画的联系，并以现代建筑创始者勒·柯布西耶与世界著名建筑师扎哈·哈迪德为例，通过分析其专业经历、绘画创作和建筑设计作品，深入阐述了抽象绘画与建筑
电子书
本书基于市场主体感受，本书从市场准入、市场监管、政务服务、数字政府等方面考察全国营商环境建设的新进展。
电子书
本书以现实的史料，丰厚的事实，严谨的文字，客观公正地记述了李氏膏药的雏形、沿革和发展。
电子书
本书共分为四编，第一编对企业刑事合规的概念、价值进行论述，并对我国企业刑事合规的发展历程和涉案企业合规的适用进行了介绍。第二编为静态部分，介绍了企业刑事合规制度建设的基本内容。第三编为动态部分，从企业刑事合规动态运行的角度，梳理了企业经营过程中常见的刑事法律风险。第四编为企业刑事合规文化建设，分析了企业刑事合规文化的概念、地位及培育合规文化的方法。
