大庆师范学院图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑/毕富生著
出版发行项:
北京:高等教育出版社,2004
ISBN及定价:
7-04-013798-4/CNY10.30
载体形态项:
247页;20cm
个人责任者:
毕富生
学科主题:
数理逻辑
中图法分类号:
O141
提要文摘附注:
本书尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容,对其中的自然推理系统作了详细介绍,力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/B63#3 31204532   数学科学学院     可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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