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

推理与证明：现代逻辑的技巧
作　者： 内井七 陈祖军
出版社： 中国人民大学出版社
丛编项：
版权说明： 本书为公共版权或经版权方授权，请支持正版图书
标　签： 推理
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

暂缺《推理与证明：现代逻辑的技巧》作者简介

内容简介

本书突出符号逻辑的主要内容，深入浅出地介绍符号逻辑各种有效推理与证明方法。

图书目录

暂缺《推理与证明：现代逻辑的技巧》目录