作者：马雷
类别：文化电子书
关键词：论联合演算
整理日期：2014-08-22 22:24:13
下载地址： 本地下载 网友上传
作品导读
联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具，但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。 马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法，废弃了联合演算的原初..
论联合演算的作者是马雷。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。