联系帮助
出版时间:
至
大约有400项符合查询结果项。(搜索耗时:0.0078秒)
为您推荐: 量子编程基础 linux高性能网络详解 web编程基础 c语言编程基础 第3版 linux企业运维实战指南 嵌入式linux设备驱动程序开发指南
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......
全部
工业技术(5)
2010年(1)
2012年(1)
2015年(2)
2017年(1)