返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141/12
共有
4
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
The mathematical theory of L systems /
:Rozenberg, Grzegorz.
作者：
Rozenberg, Grzegorz.
出版社：
Academic Press,
出版时间：
1980
ISBN：
0-12-597140-0
索书号：
O141/12
分类号：
O141
页数：
xvi, 352 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
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.
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
数理逻辑引论与归结原理
:王国俊
作者：
王国俊
出版社：
科学出版社
出版时间：
2006
ISBN：
978-7-03-016583-1
索书号：
O141/12
分类号：
O141
页数：
10, 258页
价格：
38.00
复本数：
在馆数：
累借天数：
累借次数：
本书共9章, 内容可分为Boole代数理论 ; 命题演算与谓词演算理论 ; 归结原理理论 ; 多值逻辑的最新理论等4部分。
详细信息
索书号
展开
代数模型论引论
:史念东
作者：
史念东
出版社：
科学出版社
出版时间：
2011
ISBN：
978-7-03-032408-5
索书号：
O141/12:2
分类号：
O141.4
页数：
164页
价格：
45.00
复本数：
在馆数：
累借天数：
累借次数：
本书第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法, 其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
西文图书
(
2
)
出版社
科学出版社
(
2
)
Academic Press
(
1
)
Academic Press,
(
1
)
只显示前10条......
科学出版社
(
2
)
Academic Press
(
1
)
Academic Press,
(
1
)
查看更多信息......
作者
Enderton, Herbert B.
(
1
)
Rozenberg, Grzegorz.
(
1
)
史念东
(
1
)
王国俊
(
1
)
只显示前10条......
Enderton, Herbert B.
(
1
)
Rozenberg, Grzegorz.
(
1
)
史念东
(
1
)
王国俊
(
1
)
查看更多信息......
出版年
1972
(
1
)
1980
(
1
)
2006
(
1
)
2011
(
1
)
只显示前10条......
1972
(
1
)
1980
(
1
)
2006
(
1
)
2011
(
1
)
查看更多信息......
O141/12
共有
4
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：