检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
个人首页
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=gaisi&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&curlibcode=HNU&searchWay0=marc&logical0=AND
rows=10&curlibcode=HNU&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Gaisi
, 检索到: 5 条结果, 检索时间: 0.024 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Gaisi
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(4)
Q 生物科学
(3)
您是不是想检索:
Taiki
Faiss
已经限定的分面
图书馆:
湖南大学图书馆
x
馆藏地点:
图书馆
院系分馆
湖南大学图书馆联合目录
[湖南大学图书馆]
显示更多..
馆藏地点
显示更多..
主题
axiomatic set theory
(2)
logic, symbolic and mathematical
(1)
显示更多..
著者
takeuti, gaisi,
(3)
takeuti,gaisi
(2)
zaring, wilson m
(2)
logic symposia
(1)
müller, g. h
(1)
tugube, t
(1)
显示更多..
出版日期
显示更多..
文献类型
图书
(5)
显示更多..
语言种类
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Proof theory.
已借1次.
订购中
(含光盘)
著者:
Takeuti
Gaisi.
出版社:
North-Holland
出版日期: 1987
文献类型:
图书 , 索书号:
51.32/TG(2)
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Introduction to axiomatic set theory
已借2次.
订购中
(含光盘)
著者:
Takeuti
Gaisi.
出版社:
Springer
出版日期: 1982
文献类型:
图书 , 索书号:
51.381/TG(2)
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
订购中
(含光盘)
著者:
Müller
G. H.
Takeuti
Gaisi
Tugube
T.
出版社:
Springer-Verlag,
出版日期: 1981.
文献类型:
图书 , 索书号:
O14-532/LS(79)
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Introduction to axiomatic set theory /
订购中
(含光盘)
著者:
Zaring
Wilson M.
出版社:
Springer-Verlag,
出版日期: c1982.
文献类型:
图书 , 索书号:
O144/GT
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Axiomatic set theory
订购中
(含光盘)
著者:
Zaring
Wilson M.
出版社:
Springer-Verlag
出版日期: [1973]
文献类型:
图书 , 索书号:
O144/TG
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>