| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑/毕富生著
出版发行项:
北京:高等教育出版社,2004.1
ISBN及定价:
7-04-013798-4/CNY10.30
载体形态项:
247页;20cm
个人责任者:
毕富生 (1950~) 著
学科主题:
数理逻辑
中图法分类号:
O141
提要文摘附注:
本书尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算部分内容，对其中的自然推理系统作了详细介绍，力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/232 70805109   临安密4(信息工程学院)(不可借)     非可借 临安密4(信息工程学院)(不可借)
O141/232 70805110   临安密4(信息工程学院)(不可借)     非可借 临安密4(信息工程学院)(不可借)
O141/232 70805107   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O141/232 70805108   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O141/232 70805111   临安自科(N-Z)(2F)(信息工程学院)     可借 临安自科(N-Z)(2F)(信息工程学院)
O141/232 70805112   临安自科(N-Z)(2F)(信息工程学院)     可借 现代技术部（1F）
O141/232 70805113   临安自科(N-Z)(2F)(信息工程学院)     可借 临安自科(N-Z)(2F)(信息工程学院)
O141/232 70805106   样本书阅览室（密集书库136）     非可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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