|
书名:
|
数理逻辑
|
|
|
作者:
|
孙明湘
著
|
|
出版信息:
|
长沙
中南大学出版社
2004
|
|
开本页数:
|
20cm 
223页
|
|
丛书名:
|
|
|
单 册:
|
|
|
中图分类:
|
O14
|
|
科图分类:
|
|
|
主题词:
|
数理逻辑
,
数理逻辑--研究
|
|
电子资源:
|
|
|
ISBN:
|
7-81061-968-3
|
|
000
|
00709nam0 2200253 450
|
|
001
|
2874
|
|
005
|
20041029172126.0
|
|
009
|
002736495
|
|
010
|
|
@a7-81061-968-3@dCNY14.00
|
|
100
|
|
@a20041010d2004 em y0chiy0110 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b430000
|
|
105
|
|
@ay z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a数理逻辑@Ashu li luo ji@f孙明湘著
|
|
210
|
|
@a长沙@c中南大学出版社@d2004
|
|
215
|
|
@a223页@d20cm
|
|
330
|
|
@a本书对初步、经典的数理逻辑进行了讲述,介绍了命题演算、谓词演算、模态逻辑演算,以及构造性逻辑演算等几方面内容。
|
|
606
|
0
|
@a数理逻辑
|
|
606
|
0
|
@a数理逻辑@x研究
|
|
690
|
|
@aO14@v4
|
|
701
|
0
|
@a孙明湘@Asun ming xiang@4著
|
|
801
|
0
|
@aCN@bJL@c20091201
|
|
905
|
|
@dO14@e10
|
|
|
|
|
| |
| 数理逻辑/孙明湘著.-长沙:中南大学出版社,2004 |
| 223页;20cm |
| |
| |
| ISBN 7-81061-968-3:CNY14.00 |
| 本书对初步、经典的数理逻辑进行了讲述,介绍了命题演算、谓词演算、模态逻辑演算,以及构造性逻辑演算等几方面内容。 |
| ● |
正题名:数理逻辑
索取号:O14/10
 
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
290747
|
300290747
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
2
|
290748
|
300290748
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
3
|
290749
|
300290749
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
4
|
290750
|
300290750
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
5
|
290751
|
300290751
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
6
|
290752
|
300290752
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
7
|
290753
|
300290753
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
8
|
290754
|
300290754
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|
|
9
|
290756
|
300290756
|
流通四库四楼/
[索取号:O14/10]
|
在馆
|
|