浙江药科职业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：审校 文献类型：中文图书 浏览次数：16

题名/责任者:
结构推理/冯棉著
版本说明:
2版
出版发行项:
桂林:广西师范大学出版社,2020
ISBN及定价:
978-7-5598-2878-1/CNY68.00
载体形态项:
244页;23cm
个人责任者:
冯棉 著
学科主题:
逻辑推理-研究
中图法分类号:
O141
一般附注:
教育部基地重大项目研究成果
提要文摘附注:
本书研究命题逻辑的结构推理，涉及多种结构推理系统的建构。全书共四章，内容包括：经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。
使用对象附注:
逻辑推理研究人员
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 所在方位 书刊状态 还书位置
O141/23 661644 2020  鄞州馆流通区(可借)     定位 可借 鄞州馆流通区(可借)
显示全部馆藏信息
借阅趋势

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