返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141/19
共有
3
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
A mathematical introduction to logic
:Enderton, Herbert B.
作者：
Enderton, Herbert B.
出版社：
Academic Press
出版时间：
1972
ISBN：
0-12-38450-4
索书号：
O141/19
分类号：
O141
页数：
xiii, 295 p.
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Computability theory, semantics, and logic programming /
:Fitting, Melvin,
作者：
Fitting, Melvin,
出版社：
Oxford University Press ;
出版时间：
1987
ISBN：
0-19-503691-3
索书号：
O141/16
分类号：
O141
页数：
xi, 198 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Mathematical logic
:H.-D. Ebbinghaus, J. Flum, W. Thomas
作者：
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版社：
世界图书出版公司
出版时间：
2008
ISBN：
978-7-5062-9227-6
索书号：
O141/19
分类号：
O141
页数：
10, 289页
价格：
45.00
复本数：
在馆数：
累借天数：
累借次数：
主要内容:什么是数学证明可以证明是合理的是否有限制，可证？机器可以进行何种程度，只有在本世纪的数学证明？有成功取得实质性和令人满意的答案。本书包含系统地讨论了这些结果。调查是围绕着一阶逻辑。我们的首要目标“哥德尔的完整性定理，它显示说的后果有关的正式可证不谋而合：通过一个简单正式推理规则组成的演算的方法，之一可以获取一个给定的公理系统的所有后果（和特别，模仿所有的数学样张）
详细信息
索书号
展开
缩小检索范围
文献类型
西文图书
(
2
)
中文图书
(
1
)
出版社
Academic Press
(
1
)
Oxford University Press ;
(
1
)
世界图书出版公司
(
1
)
只显示前10条......
Academic Press
(
1
)
Oxford University Press ;
(
1
)
世界图书出版公司
(
1
)
查看更多信息......
作者
Enderton, Herbert B.
(
1
)
Fitting, Melvin,
(
1
)
H.-D. Ebbinghaus, J. Flum, W. Thomas
(
1
)
只显示前10条......
Enderton, Herbert B.
(
1
)
Fitting, Melvin,
(
1
)
H.-D. Ebbinghaus, J. Flum, W. Thomas
(
1
)
查看更多信息......
出版年
1972
(
1
)
1987
(
1
)
2008
(
1
)
只显示前10条......
1972
(
1
)
1987
(
1
)
2008
(
1
)
查看更多信息......
O141/19
共有
3
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：