| 暂存书架(0) | 登录

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

题名/责任者:
Introduction to mathematical logic and resolution principle / Guo-jun Wang, Hong-jun Zhou.
版本说明:
2nd ed.
出版发行项:
Beijing : Science Press, c2009.
ISBN:
9781842655665 (Alpha Science International Ltd, Oxford)
ISBN:
9787030228994 (Beijing) :
载体形态项:
v, 335 p. ; 25 cm.
变异题名:
数理逻辑引论与归结原理
丛编说明:
Mathematics monograph series ; 13
个人责任者:
Wang, Guojun.
附加个人名称:
Zhou, Hongjun.
论题主题:
Logic, Symbolic and mathematical.
中图法分类号:
O141
一般附注:
Cover title: 数理逻辑引论与归结原理.
书目附注:
Includes bibliographical references and index.
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/WGJ/(2) W0082866   西区4层      可借
O141/WGJ/(2) W0082865   东5层4区      可借
显示全部馆藏信息
借阅趋势

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