高级搜索
推理与证明 现代逻辑的技巧

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

作者: (日)内井惣七著;陈祖军,王学等译

出版社: 中国人民大学出版社

出版日期: 1988.10

ISBN-13: 9787300004082

ISBN-10: 7300004083

页数: 177

原书定价:

开本: 20cm

丛书名:

主题词: 推理·数理逻辑·数学逻辑·证明

中图分类号: B812;B812.23

中图分类名: 哲学、宗教逻辑学(论理学)形式逻辑(名学、辩学)

简介(游客最多开放 120 字)
本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。
目录
目录仅对会员开放。
沪ICP备2026025041号-1©2026 书缘 · 保留所有权利(All Rights Reserved)