江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态:审校  文献类型:西文图书 浏览次数:10 

题名/责任者:
Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / Guo-jun Wang, Hong-jun Zhou.
版本说明:
2nd ed.
出版发行项:
Beijing : Science Press, c2009.
ISBN:
9787030228994 (Beijing)
ISBN:
9781842655665 (Alpha Science International Ltd, Oxford)
载体形态项:
v, 335 p. ; 25 cm.
变异题名:
Chinese title on the cover: 数理逻辑引论与归结原理
丛编说明:
Mathematics monograph series ; 13
个人责任者:
Wang, Guojun.
附加个人名称:
Zhou, Hongjun.
论题主题:
Logic, Symbolic and mathematical.
中图法分类号:
O141
书目附注:
Includes bibliographical references and index.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 定位信息 书刊状态
O141/W246=2 W0072327  - 外文图书样本库(401室)     导航 可借
O141/W246=2 W0072328  - 外文图书阅览室(401室)     导航 可借
O141/W246=2 W0072329  - 外文图书阅览室(401室)     导航 可借
显示全部馆藏信息
借阅趋势

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