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

Handbook of constructive mathematics
出版社：Cambridge : Cambridge University Press, 2023.,Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023.
ISBN：9781316510865
出版年：2023
作者：Bridges,D. S.
资源类型：图书
细分类型：中文文献,西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Varieties of constructive mathematics.
  • 作者：Bridges,D.
  • ISBN：0521318025
  • 出版社：Cambridge : Cambridge Univ. Pr., 1987.
  • 出版年：1987
...

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

Foundations of constructive mathematics
  • 作者：Beeson,Michael J.
  • ISBN：3540121730
  • 出版社：Berlin: Springer-Verlag, 1985
  • 出版年：1985
...

Notes on constructive mathematics
  • 作者：Martin-Löf,Per,
  • 出版社：Stockholm : Almqvist & Wiksell, 1970.
  • 出版年：1970
...

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

Handbook of mathematics
  • 作者：Bronshtein,I. N.
  • ISBN：0442211716
  • 出版社：N.Y. : Van Nostrand Reinhold Co., c1985.
  • 出版年：1985