大庆师范学院图书馆书目检索系统
大庆师范学院图书馆书目检索系统
Online Public Access Catalogue
中文
English
|
暂存书架(
0
)
|
登录
书目检索
热门推荐
分类浏览
新书通报
期刊导航
读者荐购
学科参考
信息发布
我的图书馆
馆藏检索
简单检索
多字段检索
借阅关系图
相关资源
把本书分享到
EverNote
麦库
豆瓣
腾讯微博
新浪微博
人人网
网易微博
开心网
使用说明
二维码
收藏此书的书架
MARC状态:已编 文献类型:中文图书 浏览次数:9
书目信息
机读格式(MARC)
题名/责任者:
数理逻辑
/毕富生著
出版发行项:
北京:高等教育出版社,2004
ISBN及定价:
7-04-013798-4/CNY10.30
载体形态项:
247页;20cm
个人责任者:
毕富生
著
学科主题:
数理逻辑
中图法分类号:
O141
提要文摘附注:
本书尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容,对其中的自然推理系统作了详细介绍,力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。
豆瓣简介:
全部MARC细节信息>>
放入暂存书架
查看暂存书架(
0
)
收藏
馆藏信息
委托申请
参考书架
相关借阅
相关收藏
索书号
条码号
年卷期
馆藏地
书刊状态
O141/B63#3
31204532
数学科学学院
可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
证件号
条码号
Email
姓名:
手机号:
送 书 地:
收藏到:
管理书架