|
000
|
01273nam0 2200337 45
|
|
001
|
012005000000
|
|
005
|
20070607171812.45
|
|
010
|
|
@a7-115-14145-2@dCNY39.00
|
|
100
|
|
@a20060304d2006 em y0chiy0121 ea
|
|
101
|
0
|
@aeng@fchi@gchi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay z 001yy
|
|
200
|
1
|
@a数理逻辑@Ashu li luo ji@d= A mathematical introduction to logic@f(美)恩德滕(Nerbert B. Enderton)著@F(mei)en de teng(Nerbert B.Enderton)zhu@zeng
|
|
205
|
|
@a英文版
|
|
210
|
|
@a北京@c人民邮电出版社@d2006.01
|
|
215
|
|
@a317页@d21cm
|
|
225
|
2
|
@a图灵原版计算机科学系列@Atu ling yuan ban ji suan ji ke xue xi lie
|
|
305
|
|
@a据原书第2版译出
|
|
320
|
|
@a有索引(第311-317页)
|
|
330
|
|
@a本书是数理逻辑方面的教材，涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。
|
|
461
|
0
|
@12001 @a图灵原版计算机科学系列
|
|
510
|
1
|
@aA mathematical introduction to logic@zeng
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@j教材@j英文
|
|
606
|
0
|
@a数学基础
|
|
690
|
|
@aTP0141:H31@v4
|
|
690
|
|
@aO141@v3
|
|
701
|
1
|
@c(美)@a恩德滕,@Aen de teng@bN. B.@g(Enderton, Nerbert B.)@4著
|
|
701
|
1
|
@c(美)@aEnderton,@bN. B.@g(Enderton, Nerbert B.)@4著
|
|
701
|
0
|
@a恩德滕@Aen de teng@bNerbertB.Enderton@4著
|
|
801
|
0
|
@aCN@c20070607
|
|
905
|
|
@a10447@dO141@eE046
|
|
|
|
|
| |
| 数理逻辑= A mathematical introduction to logic/(美)恩德滕(Nerbert B. Enderton)著.-英文版.-北京：人民邮电出版社，2006.01 |
| 317页；21cm.-(图灵原版计算机科学系列) |
| |
| |
| ISBN 7-115-14145-2：CNY39.00 |
| 本书是数理逻辑方面的教材，涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。 |
| ● |
正题名：数理逻辑
索取号：O141/E046
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
631038
|
206310384
|
自科库401/401自科库 40排2列2层/
[索取号:O141/E046]
|
在馆
|
|
|
2
|
631039
|
206310393
|
自科库401/401自科库 40排2列2层/
[索取号:O141/E046]
|
在馆
|
|
