|
000
|
00999nam 2200265 450
|
|
001
|
2261115777
|
|
010
|
|
@a978-7-03-070225-8@dCNY89.00
|
|
100
|
|
@a20211220d2021 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aak a 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a简明数理逻辑@Ajian ming shu li luo ji@f赵希顺编著
|
|
210
|
|
@a北京@c科学出版社@d2021.11
|
|
215
|
|
@a256页@c图@d24cm
|
|
225
|
2
|
@a高等学校逻辑学专业系列教材@Agao deng xue xiao luo ji xue zhuan ye xi lie jiao cai
|
|
320
|
|
@a有书目 (第250页) 和索引
|
|
330
|
|
@a本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识, 然后介绍了集合论, 详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理, 最后介绍了模型论的基础知识和方法。
|
|
410
|
0
|
@12001 @a高等学校逻辑学专业系列教材
|
|
517
|
1
|
@a数理逻辑@Ashu li luo ji
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@x高等学校@j教材
|
|
690
|
|
@aO141@v5
|
|
701
|
0
|
@a赵希顺@Azhao xi shun@4编著
|
|
801
|
0
|
@aCN@c20220906
|
|
905
|
|
@a河南城建学院图书馆@dO141@eZ336
|
|
|
|
|
| |
| 简明数理逻辑/赵希顺编著.-北京：科学出版社，2021.11 |
| 256页：图；24cm.-(高等学校逻辑学专业系列教材) |
| |
| |
| ISBN 978-7-03-070225-8：CNY89.00 |
| 本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识, 然后介绍了集合论, 详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理, 最后介绍了模型论的基础知识和方法。 |
| ● |
正题名：简明数理逻辑
索取号：O141/Z336
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1574550
|
215745503
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z336]
|
在馆
|
|
|
2
|
1574551
|
215745512
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z336]
|
在馆
|
|
