图书馆
中文
ENGLISH
한국의
Español
русский язык
Français
登录
书目检索
分类浏览
热门推荐
新书通报
期刊导航
读者荐购
信息发布
我的图书馆
简单检索
多字段检索
组合检索
书目详细信息
书目详细信息 :
数理逻辑
书目信息
机读格式(MARC)
ISBN/价格:
7-04-013798-4:CNY10.30
作品语种:
chi
出版国别:
CN 110000
题名责任者项:
数理逻辑
/.
毕富生著
出版发行项:
北京:,高等教育出版社:,2004
载体形态项:
247页:;+20cm
提要文摘:
本书尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容,对其中的自然推理系统作了详细介绍,力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。
题名主题:
数理逻辑
索书号:
O141/B68
中图分类:
O141
个人名称等同:
毕富生 著
记录来源:
CN NLC 20040402
记录来源:
CN 001 20040610
总体评分 :
(共0人)
我的评分 :
共有0人预约本书
收藏
加入课程
相关资源
馆藏信息
附件信息
评论信息
相关借阅
借阅趋势
参考书目
评论共
条 , 请
登录
后发表评论
用户评论
借阅关系图
相关资源
豆瓣相关资源
CNKI学术搜索
百度相关资源
二维码