联系帮助
出版时间:
至
大约有1,000项符合查询结果项。(搜索耗时:0.0157秒)
为您推荐: 热工基础第三版 曲式分析基础教程第三版 热工基础第三版张学学 电子商务基础白东蕊第三版 金融学基础第三版 神经科学基础第三版
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......