返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141/21
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
The logic book /
:Bergmann, Merrie.
作者：
Bergmann, Merrie.
出版社：
Random House,
出版时间：
1980
ISBN：
0-394-32323-8
索书号：
O141/21
分类号：
O141
页数：
ix, 459 p. ;
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
数理逻辑实验教程
:李娜
作者：
李娜
出版社：
武汉大学出版社
出版时间：
2010
ISBN：
978-7-307-07991-5
索书号：
O141/21
分类号：
O141
页数：
271页
价格：
29.00
复本数：
在馆数：
累借天数：
累借次数：
本书内容主要包括: 逻辑软件简介、命题逻辑、量词逻辑三个部分。其中第一部分还有propositional logic简介、predicate logic简介、tree proof generater简介等内容。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
西文图书
(
1
)
出版社
Random House,
(
1
)
武汉大学出版社
(
1
)
只显示前10条......
Random House,
(
1
)
武汉大学出版社
(
1
)
查看更多信息......
作者
Bergmann, Merrie.
(
1
)
李娜
(
1
)
只显示前10条......
Bergmann, Merrie.
(
1
)
李娜
(
1
)
查看更多信息......
出版年
1980
(
1
)
2010
(
1
)
只显示前10条......
1980
(
1
)
2010
(
1
)
查看更多信息......
O141/21
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：