|
000
|
00987nam0 2200301 450
|
|
001
|
2061237650
|
|
005
|
20201203170113.70
|
|
010
|
|
@a978-7-5598-2878-1@dCNY 68.00
|
|
100
|
|
@a20200914d2020 em y0chiy50 ea
|
|
101
|
0
|
@achi@eeng
|
|
102
|
|
@aCN@b450000
|
|
105
|
|
@ay a 001yy
|
|
200
|
1
|
@a结构推理@Ajie gou tui li@f冯棉著
|
|
205
|
|
@a2版
|
|
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研究
|
|
606
|
0
|
@a数学
|
|
690
|
|
@aO141@v5
|
|
690
|
|
@aO1@v4
|
|
701
|
0
|
@a冯棉@Afeng mian@4著
|
|
801
|
0
|
@aCN@bHNYZ@c20201203
|
|
905
|
|
@aZUCC@dO1@e232=2
|
|
962
|
|
@a6998064
|
|
|
|
|
| |
| 结构推理/冯棉著.-2版.-桂林：广西师范大学出版社，2020.07 |
| 244页；23cm |
| 教育部基地重大项目研究成果 |
| |
| ISBN 978-7-5598-2878-1：CNY 68.00 |
| 本书研究命题逻辑的结构推理, 涉及多种结构推理系统的建构。全书共四章, 内容包括: 经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。 |
| ● |
正题名：结构推理
索取号：O1/232=2
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
697858
|
202697858
|
基础医学书库/
[索取号:O1/232=2]
|
在馆
|
架位导航
|
|
2
|
697859
|
202697859
|
基础医学书库/
[索取号:O1/232=2]
|
在馆
|
架位导航
|
|
3
|
697860
|
202697860
|
基础医学书库/
[索取号:O1/232=2]
|
在馆
|
架位导航
|
