登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Foundations of constructive mathematics
出版社：Berlin: Springer-Verlag, 1985
ISBN：3540121730
出版年：1985
作者：Beeson,Michael J.
资源类型：图书
细分类型：馆内阅览,西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Constructive formalism : essays on the foundations of mathematics.
  • 作者：Goodstein,R. L.
  • 出版社：Leicester [Eng.] : University College, 1951.
  • 出版年：1951
...

Foundations of constructive analysis
  • 作者：Bishop,Erret
  • ISBN：￥2.10
  • 出版社：New York : McGraw-Hill ; 1967.
  • 出版年：1967
...

Foundations of constructive analysis.
  • 作者：Bishop,Errett,
  • 出版社：New York : McGraw-Hill, 1967
  • 出版年：1967
...

Foundations of constructive analysis
  • 作者：Bishop,Erret
  • 出版社：0000.00,New York : McGraw-Hill ; 1967.
  • 出版年：1967
...

Constructive foundations for functional languages
  • 作者：Turner,Raymond,
  • ISBN：0077074114
  • 出版社：London ; New York : McGraw-Hill, 1991.
  • 出版年：1991
...

Proof Theory Constructive Mathematics
  • 作者：E.Kister,Jane
  • ISBN：3540155244
  • 出版社：New York : Springer-Verlag Berlin Heidelberg; London : distributed by Elsevier North-Holland, 1987.
  • 出版年：1987