联系帮助
出版时间:
至
大约有400项符合查询结果项。(搜索耗时:0.0234秒)
为您推荐: 量子编程基础 web web代码安全漏洞深度剖析 c语言编程基础 第3版 编程 java语言与编程
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......
全部
其他书籍(2)
工业技术(9)
2003年(2)
2006年(1)
2007年(1)
2010年(1)
2011年(1)
2014年(2)
2015年(1)
2016年(1)
2019年(1)