联系帮助
出版时间：
至
大约有4项符合查询结果项。（搜索耗时：0.0032秒）
为您推荐： 墨经今注今译 概率论与数理统计 概率论与数理统计习题 数理统计及其工程应用 概率论与数理统计 理工类 概率论与数理统计崔红卫
本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......
全部
哲学宗教(2)
2000年(1)
2003年(1)
