联系帮助
出版时间:
至
大约有2,000项符合查询结果项。(搜索耗时:0.0132秒)
为您推荐: 概率论与数理统计 概率论与数理统计 理工类 概率与统计 线性代数与概率统计基础 概率论与数理统计崔红卫 概率论与数理统计何书元
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......
全部
数理化(162)
文化科学教育体育(1)
经济(6)
综合图书(1)
其他书籍(10)
工业技术(4)
1980年(1)
1982年(2)
1986年(2)
1994年(1)
1995年(1)
1996年(1)
1999年(1)
2000年(4)
2001年(3)
2002年(3)
2003年(12)
2004年(12)
2005年(13)
2006年(12)
2007年(7)
2008年(13)
2009年(11)
2010年(8)
2011年(9)
2012年(17)
2013年(7)
2014年(7)
2015年(7)
2016年(11)
2017年(6)
2018年(7)
2222年(6)