书目信息 |
| 题名： |
简明数理逻辑
|
|
| 作者： | 赵希顺 编著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2021.11 |
|
| 页数： | 256页 | |
| 开本： | 24cm | |
| 丛书名： | 高等学校逻辑学专业系列教材 | |
| 单 册： | ||
| 中图分类： | O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--高等学校--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-03-070225-8 | |
| 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] | 在馆 |