作者: (日)内井惣七著;陈祖军,王学等译
出版社: 中国人民大学出版社
出版日期: 1988.10
ISBN-13: 9787300004082
ISBN-10: 7300004083
页数: 177
原书定价: 无
开本: 20cm
丛书名: 无
主题词: 推理·数理逻辑·数学逻辑·证明
中图分类号: B812;B812.23
中图分类名: 哲学、宗教›逻辑学(论理学)›形式逻辑(名学、辩学)
本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。
目录仅对会员开放。