登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Intuitionism : an introduction
出版社：
Amsterdam : North-Holland pub. co., 1956.,Amsterdam : North-Holland Publishing Co., 1956.
出版年：
1956
作者：
Heyting,A.
资源类型：
图书
细分类型：
西文文献,馆内阅览
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Elements of intuitionism
作者：
Dummett,Michael A. E.
ISBN：
0198531583
出版社：
Oxford : Clarendon Press, 1977.
出版年：
1977
Brouwer''s Cambridge lectures on intuitionism
作者：
Brouwer,L. E. J.
ISBN：
0521234417
出版社：
Cambridge [Eng.] ; New York : Cambridge University Press, 1981.
出版年：
1981
Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N.Y., 1968 / ed. by
作者：
Conference on Intuitionism and Proof Theory
出版社：
Amsterdam : North-Holland pub. co., 1970.
出版年：
1970
Introduction
作者：
Gressitt,J. Linsley
出版社：
Honolulu : Bernice P. Bishop Museum, 1954.
出版年：
1954
An Introduction
Networks:an introduction: an introduction
作者：
Newman,M. E. J.
ISBN：
9780199206650
出版社：
Oxford; New York: Oxford University Press, 2010
出版年：
2010
×
访问借阅管理系统
问图书管理员
馆际互借