浙江药科职业大学图书馆书目检索系统
浙江药科职业大学图书馆书目检索系统
Online Public Access Catalogue
中文
English
|
暂存书架(
0
)
|
登录
书目检索
热门推荐
分类浏览
新书通报
期刊导航
读者荐购
学科参考
信息发布
我的图书馆
简单检索
馆藏检索
多字段检索
借阅关系图
相关资源
使用说明
二维码
收藏此书的书架
MARC状态:审校 文献类型:中文图书 浏览次数:12
书目信息
机读格式(MARC)
题名/责任者:
自然演绎逻辑导论
/陈晓平著
出版发行项:
广州:中山大学出版社,2006
ISBN及定价:
7-306-02678-X/CNY28.00
载体形态项:
12,281页;23cm
个人责任者:
陈晓平
著
学科主题:
演绎推理
-概论
中图法分类号:
B812.23
一般附注:
华南师范大学管理科学新专业、重点学科建设经费资助出版
提要文摘附注:
本书在自然演绎系统的框架内展开,阐述了命题逻辑、谓词逻辑、模态逻辑等演绎逻辑的基本内容。
豆瓣简介:
全部MARC细节信息>>
放入暂存书架
查看暂存书架(
0
)
收藏
馆藏信息
预约申请
委托申请
参考书架
相关借阅
相关收藏
索书号
条码号
年卷期
馆藏地
所在方位
书刊状态
还书位置
B812.23/3
277972
2007 -
奉化馆流通区(可借)
定位
可借
奉化馆流通区(可借)
B812.23/3
277973
2007 -
鄞州馆流通区(可借)
定位
可借
显示全部馆藏信息
借阅趋势
同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
证件号
条码号
Email
姓名:
手机号:
送 书 地:
收藏到:
管理书架