浙江药科职业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑十二讲/宋方敏，吴骏编著
出版发行项:
北京:机械工业出版社,2018
ISBN及定价:
978-7-111-58122-2/CNY39.00
载体形态项:
155页;26cm
并列正题名:
Lecture notes in mathematical logic
个人责任者:
宋方敏 (1961~) 编著
个人责任者:
吴骏 (计算机) 编著
学科主题:
数理逻辑-教材
中图法分类号:
O141
一般附注:
华章教育 面向CS2013计算机专业规划教材
提要文摘附注:
本书包括命题逻辑、Boole代数、一阶逻辑的语言、一阶逻辑的自然推理系统、集合论的公理系统、完全性定理、Herbrand定理等内容。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 所在方位 书刊状态 还书位置
O141/18 603225 2018  鄞州馆闭架（非可借）     定位 非可借 鄞州馆闭架（非可借）
O141/18 603226 2018  鄞州馆流通区(可借)     定位 可借 鄞州馆流通区(可借)
显示全部馆藏信息
借阅趋势

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