西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑与机器证明/陆钟万著
出版发行项:
北京:科学出版社,1983.11
ISBN及定价:
平装/1.15元
载体形态项:
186页;20cm
丛编项:
计算机科学丛书
个人主要责任者:
陆钟万
中图法分类号:
O141
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/10 435816   图书文献捐赠     阅览 图书文献捐赠
O141/10 100949   密集库1     可借
O141/10 100950   密集库1     可借
O141/10 100947   洪庆校区     可借
O141/10 100946   内阅图书     可借
O141/10 845059   密集库     可借
O141/10 100948   金花馆     可借
显示全部馆藏信息
借阅趋势

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