大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 推理与证明 : 现代逻辑的技巧
名称 推理与证明 : 现代逻辑的技巧
索引号 201387
分类号
(| 08 环境公报)
作者 内井Ł̓七、陈祖军、
出版社 北京 : 中国人民大学出版社, 1988
ISBN 7-300-00408-3
页数 176页 ; 20cm
价格 CNY2.15
标签
简介
注解 本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法・