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

Sentences undecidable in formalzed arithmetic : an exposition of the theory of Kurt Godel
出版社：Amsterdam : North-Holland pub. co., 1952.
出版年：1952
作者：Mostowski,Andrzej.
资源类型：图书
细分类型：西文文献,馆内阅览
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel
  • 作者：Mostowski,Andrzej
  • 出版社：[s.l.] : [s.n.], 1952
  • 出版年：1952
...

Reflections on Kurt Godel
  • 作者：Wang,Hao,
  • ISBN：0262231271
  • 出版社：Cambridge, Mass. : MIT Press, 1987.
  • 出版年：1987
...

Kurt Godel and the foundations of mathematics : horizons of truth
  • 作者：Baaz,Matthias.
  • ISBN：9780521761444
  • 出版社：New York : Cambridge University Press, 2011.
  • 出版年：2011
...

不完备性 :哥德尔的证明和悖论 :the proof and paradox of Kurt Godel
  • 作者：戈德斯坦
  • ISBN：9787535752451
  • 出版社：湖南科学技术出版社
  • 出版年：2008
...

Reduction theory and arithmetic groups
  • 作者：Schwermer,Joachim,
  • ISBN：9781108832038
  • 出版社：Cambridge, United Kingdom; New York, NY : Cambridge University Press, 2023.
  • 出版年：2023
...

Set theory and the structure of arithmetic
  • 作者：Hamilton,Norman Tyson
  • 出版社：Boston : Allyn and Bacon, 1961.,Boston : Allyn and Bacon, 1963
  • 出版年：1963