检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
信息公告
全馆图书催还通知
所有标签
图书专题
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=*%3A*&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_subject=%E6%95%99%E6%9D%90&f_author=%E4%BC%AF%E5%90%89%E6%96%AF&f_author=%28%E7%BE%8E%29george+s.boolos%EF%BC%8C%28%E7%BE%8E%29john+p.burgess%EF%BC%8C%28%E7%BE%8E%29richard+c.jeffrey%E8%91%97&f_author=%E4%BD%95%E8%87%AA%E5%BC%BA&f_booktype=1&f_class1=o&f_class2=tp&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
*:*
, 检索到: 1 条结果, 检索时间: 0.055 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
*:*
集群图书馆
分类导航
O14 数理逻辑-数学基础
(1)
TP3 计算技术、计算机技术
(1)
回到上一级分类
已经限定的分面
馆藏地点:
主题:
教材
x
著者:
伯吉斯
x
(美)george s.boolos,(美)john p.burgess,(美)richard c.jeffrey著
x
何自强
x
文献类型:
图书
x
分面检索
图书馆
辽宁省图书馆
(1)
显示更多..
馆藏地点
显示更多..
主题
可计算性
(1)
[教材]
(1)
数理逻辑
(1)
电子计算机
(1)
显示更多..
著者
[(美)george s.boolos,(美)john p.burgess,(美)richard c.jeffrey著]
(1)
[伯吉斯]
(1)
[何自强]
(1)
何自强等译
(1)
博洛斯
(1)
杰弗里
(1)
显示更多..
出版日期
2005
(1)
显示更多..
文献类型
[图书]
(1)
显示更多..
语言种类
汉语
(1)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
可计算性与数理逻辑
订购中
著者:
博洛斯
伯吉斯
杰弗里
出版社:
电子工业出版社
出版日期: 2005
文献类型:
图书 , 索书号:
TP301.4/5
在馆信息
图书信息概览
图书目录
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>