推理与证明

图书馆主页

书目信息

题名与责任说明	推理与证明 : 现代逻辑的技巧 / (日)内井■七著 ; 陈祖军等译
责任者	内井■七; 陈祖军; 王学; 曲玉波
出版发行	北京 : 中国人民大学出版社, 1988.10
载体形态	176页 : 图 ; 20厘米
主题分析	推理证明
分类号	中图法分类号: B812
标识和获得方式	ISBN 7-300-00408-3 : ￥2.15
索取号	B812 / 8810Z
提要文摘	本书突出符号逻辑的主要内容，深入浅出地介绍符号逻辑各种有效推理与证明方法。

册信息

册序册条码号状态馆藏地索取号当前位置出版日期卷期价格注释借阅情况预约情况流通次数

1 B0027289 流通部 B812/8810Z CNY2.15

2 B0027290 流通部 B812/8810Z CNY2.15

3 B0027291 流通部 B812/8810Z CNY2.15

用微信“扫一扫”，关注“我爱图书馆”公众号，可获得超期、借书还书等微信消息通知