联系帮助
出版时间:
至
大约有3,000项符合查询结果项。(搜索耗时:0.0237秒)
为您推荐: 信息理论基础 大学信息技术基础 管理信息系统基础教程 信息理论基础第五版 文明的逻辑 西藏的文明
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......