机读格式显示(MARC)
- 000 00835nam0 2200241 450
- 010 __ |a 978-7-03-070225-8 |d CNY89.00
- 100 __ |a 20211223d2021 em y0chiy50 ea
- 200 1_ |a 简明数理逻辑 |b 专著 |f 赵希顺编著 |9 jian ming shu li luo ji
- 210 __ |a 北京 |c 科学出版社 |d 2021
- 300 __ |a 高等学校逻辑学专业系列教材/刘虎主编
- 330 __ |a 本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识,然后介绍了集合论,详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理,最后介绍了模型论的基础知识和方法。
- 606 0_ |a 数理逻辑 |x 高等学校 |j 教材
- 701 _0 |a 赵希顺 |c (教授) |4 编著 |9 zhao xi shun
- 801 _0 |a CN |b YNNI |c 20230622
- 905 __ |a YNNI |d O141/4442