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