书目检索

简单检索 多字段检索 组合检索 书目详细信息

用户登录

书目信息 机读格式(MARC)

《结构推理》

结构推理

ISBN/价格:978-7-5598-2878-1:CNY68.00
作品语种:chi
出版国别:CN 450000
题名责任者项:结构推理/.冯棉著
版本项:2版
出版发行项:桂林:,广西师范大学出版社:,2020.07
载体形态项:244页:;+23cm
一般附注:教育部基地重大项目研究成果
提要文摘:本书研究命题逻辑的结构推理,涉及多种结构推理系统的建构。全书共四章,内容包括:经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。
题名主题:逻辑推理 研究
中图分类:O141
个人名称等同:冯棉 著
记录来源:CN 人天书店 20200909
总体评分: (共0人)
我的评分:
共12人预约本书
收藏

馆藏 附件 评论 相关借阅 借阅趋势

评论共 条 ,请登录后发表评论

用户评论