谓词抽象研究

价　　格：¥25.80

作　　者：魏燕侠著

ISBN：978-7-5201-1173-7

出版社：社会科学文献出版社

出版日期：2017.12

文件格式：pdf或epub或扫描版

立即购买

温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！

内容简介

书名：谓词抽象研究
作者：魏燕侠著
ISBN：978-7-5201-1173-7
出版社：社会科学文献出版社
出版日期：2017.12
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。

上一本：分析化学实验

下一本：光学综合实验指导书