机读格式显示(MARC)
- 010 __ |a 978-7-5004-8543-8 |d CNY24.00
- 100 __ |a 20091202d2010 em y0chiy0121 ea
- 200 1_ |a 数理逻辑 |A shu li luo ji |d = Mathematical logic |f 张清宇主编 |z eng
- 210 __ |a 北京 |c 中国社会科学出版社 |d 2010
- 215 __ |a 128页 |c 肖像 |d 24cm
- 225 2_ |a 中国社会科学院研究生重点教材 |A zhong guo she hui ke xue yuan yan jiu sheng zhong dian jiao cai
- 330 __ |a 本书收录了句法和语义, 命题逻辑, 一阶逻辑, 递归函数和理论的算术化, 不完全性定理等共五章, 介绍了了数理逻辑的基本内容, 如经典的一阶逻辑的句法, 语义, 逻辑演算以及刻画和语义之间关系的完全性定理, 初步的模型论内容, 集合论初步知识, 歌德尔第二不完全性定理以及所需的递归论内容等。
- 410 _0 |1 2001 |a 中国社会科学院研究生重点教材
- 510 1_ |a Mathematical logic |z eng
- 606 0_ |a 数理逻辑 |A shu li luo ji |x 研究生 |j 教材
- 701 _0 |a 张清宇 |A zhang qing yu |4 主编
- 801 _0 |a CN |b HDUL |c 20110402
- 905 __ |a HDUL |d O141/1331