机读格式显示(MARC)
- 000 00795nam0-2200253 450
- 010 __ |a 978-7-312-02708-6 |d CNY29.00
- 100 __ |a 20101025e20222010em y0chiy50 ea
- 200 1_ |a 数理逻辑 |b 专著 |f 汪芳庭编著 |9 shu li luo ji
- 210 __ |a 合肥 |c 中国科学技术大学出版社 |d 2010 |h 2021重印
- 300 __ |a 普通高等学校“十一五”规划教材
- 330 __ |a 本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识;第二部分为形式算术与Godel不完备性定理。
- 606 0_ |a 数理逻辑 |x 高等学校 |j 教材
- 701 _0 |a 汪芳庭 |4 编著 |9 wang fang ting
- 801 _0 |a CN |b YNNI |c 20230615
- 905 __ |a YNNI |d O141/3140-1