返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
刘新文，夏素敏
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
数理逻辑
:张清宇, 刘新文，夏素敏
作者：
张清宇, 刘新文，夏素敏
出版社：
中国社会科学出版社
出版时间：
2010
ISBN：
978-7-5004-8543-8
索书号：
O141/1233
分类号：
O141
页数：
128页
价格：
24.00
复本数：
在馆数：
累借天数：
累借次数：
本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
中国社会科学出版社
(
1
)
只显示前10条......
中国社会科学出版社
(
1
)
查看更多信息......
作者
张清宇, 刘新文，夏素敏
(
1
)
只显示前10条......
张清宇, 刘新文，夏素敏
(
1
)
查看更多信息......
出版年
2010
(
1
)
只显示前10条......
2010
(
1
)
查看更多信息......
刘新文，夏素敏
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：