安徽理工大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态：审校 文献类型：中文图书 浏览次数：4

题名/责任者:
数理逻辑与机器证明/陆钟万著
出版发行项:
北京:科学出版社,1983.11
ISBN及定价:
/CNY1.15
载体形态项:
186页;21厘米
个人责任者:
陆钟万 著
中图法分类号:
O141
科图法分类号:
73.87081
科图法分类号:
O141
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
73.87081/133 001272490   密集书库     可借
73.87081/133 001272491   密集书库     可借
73.87081/133 001272492   密集书库     可借
73.87081/133 001272493   密集书库     可借
73.87081/133 001285179   密集书库     可借 密集书库
O141/L995-2 004130283   密集书库     可借 密集书库
O141/L995-2 004130532   密集书库     可借 密集书库
显示全部馆藏信息
借阅趋势

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