无锡城市职业技术学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：已编　 文献类型：中文图书　浏览次数：14　

题名/责任者:
推理与证明:现代逻辑的技巧/(日)内井〓七著 陈祖军等译
出版发行项:
北京:中国人民大学出版社,1988.10
ISBN及定价:
7-300-00408-3/CNY2.15
载体形态项:
176页;20cm
编目员补充题名:
推理 证明 现代逻辑 技巧
个人责任者:
内井〓七 著
个人次要责任者:
陈祖军 译
学科主题:
数理逻辑9证明
学科主题:
证明9数理逻辑
学科主题:
数学逻辑9推理
学科主题:
推理9数理逻辑
中图法分类号:
B812
提要文摘附注:
本书突出符号逻辑的主要内容,深入浅出地介绍符号逻辑各种有效推理与证明方法。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 附件 说明 书刊状态 还书位置
B812/24 000058963   密集书库 M00136495 图书定位    可借 密集书库
显示全部馆藏信息
借阅趋势

您可能感兴趣的图书(点击查看)
同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架