景德镇学院图书馆书目检索系统
景德镇学院图书馆书目检索系统
Online Public Access Catalogue
中文
English
|
暂存书架(
0
)
|
登录
书目检索
热门推荐
分类浏览
新书通报
期刊导航
读者荐购
学科参考
信息发布
我的图书馆
馆藏检索
简单检索
多字段检索
借阅关系图
相关资源
使用说明
二维码
收藏此书的书架
MARC状态:已编 文献类型:中文图书 浏览次数:66
书目信息
机读格式(MARC)
题名/责任者:
自然演绎逻辑导论
/陈晓平著
出版发行项:
广州:中山大学出版社,2006
ISBN及定价:
7-306-02678-X/CNY28.00
载体形态项:
281页;23cm
编目员补充题名:
自然演绎逻辑导论
个人责任者:
陈晓平
著
学科主题:
演绎推理
中图法分类号:
B812.23
中图法分类号:
B812
书目附注:
有参考文献(书末)
提要文摘附注:
本书主要在自然演绎系统的框架内展开阐述命题逻辑、三段论逻辑、谓词逻辑、模态逻辑、命题逻辑的元理论等演绎逻辑的论述。
豆瓣简介:
全部MARC细节信息>>
放入暂存书架
查看暂存书架(
0
)
收藏
馆藏信息
委托申请
参考书架
图书评论
相关借阅
相关收藏
索书号
条码号
年卷期
馆藏地
书刊状态
B812/142
10539950
马克思学院
图书定位
可借
B812/142
10539949
133-5-7
密集书库(1楼)
图书定位
可借
B812/142
10539951
133-5-7
密集书库(1楼)
图书定位
可借
B812/142
10539952
133-5-7
密集书库(1楼)
图书定位
可借
显示全部馆藏信息
借阅趋势
同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
证件号
条码号
Email
姓名:
手机号:
送 书 地:
收藏到:
管理书架