|
000
|
00947nam0 2200277 450
|
|
001
|
202025000342
|
|
005
|
20250704093125.45
|
|
010
|
|
@a978-7-5598-2878-1@dCNY68.00
|
|
100
|
|
@a20250701d2020 em y0chiy50 ea
|
|
101
|
0
|
@achi@eeng
|
|
102
|
|
@aCN@b450000
|
|
105
|
|
@ay a 001yy
|
|
200
|
1
|
@a结构推理@Ajie gou tui li@f冯棉著
|
|
205
|
|
@a第2版
|
|
210
|
|
@a桂林@c广西师范大学出版社@d2020.07
|
|
215
|
|
@a244页@d23cm
|
|
300
|
|
@a教育部基地重大项目研究成果
|
|
314
|
|
@a冯棉, 华东师范大学终身教授等职。
|
|
320
|
|
@a有书目 (第231-232页) 和索引
|
|
330
|
|
@a本书研究命题逻辑的结构推理, 涉及多种结构推理系统的建构。全书共四章, 内容包括: 经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。
|
|
606
|
0
|
@a逻辑推理@Aluo ji tui li@x研究
|
|
690
|
|
@aO141@v5
|
|
690
|
|
@aO14@v4
|
|
701
|
0
|
@a冯棉@Afeng mian@4著
|
|
801
|
0
|
@aCN@bTZWH@c20250701
|
|
905
|
|
@aLYXY@dO14@e14@f3
|
|
|
|
|
| |
| 结构推理/冯棉著.-第2版.-桂林：广西师范大学出版社，2020.07 |
| 244页；23cm |
| 教育部基地重大项目研究成果 |
| |
| ISBN 978-7-5598-2878-1：CNY68.00 |
| 本书研究命题逻辑的结构推理, 涉及多种结构推理系统的建构。全书共四章, 内容包括: 经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。 |
| ● |
正题名：结构推理
索取号：O14/14
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1456079
|
214560795
|
十六楼书库一区/
[索取号:O14/14]
|
在馆
|
架位导航
|
|
2
|
1456080
|
214560802
|
十六楼书库一区/
[索取号:O14/14]
|
在馆
|
架位导航
|
|
3
|
1456081
|
214560811
|
十六楼书库一区/
[索取号:O14/14]
|
在馆
|
架位导航
|
