安徽科技学院图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑引论与归结原理/王国俊著
版本说明:
第2版
出版发行项:
北京:科学出版社,2015
ISBN及定价:
978-7-03-044412-7/CNY120.00
载体形态项:
255页:图;24cm
丛编项:
现代数学基础丛书 (典藏版).第二辑;83
个人责任者:
王国俊
学科主题:
数理逻辑
学科主题:
归结方法
中图法分类号:
O141
著录信息附注:
据2015年7月印刷本著录
书目附注:
有书目 (第250页) 和索引
提要文摘附注:
本书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分,同时,对“计量逻辑学”关于一阶系统Ky完备性的证明等诸多内容作了补充或修改。
全部MARC细节信息>>
索书号 条码号 年卷期 校区—馆藏地 书刊状态
O141/34-2 S3205956  - 总馆—自然书库(凤阳)     可借
显示全部馆藏信息
借阅趋势

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