推理与证明 : 现代逻辑的技巧


名称	推理与证明 : 现代逻辑的技巧

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