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

Gödel ''96 : logical foundations of mathematics computer science and physics - Kurt Gödel''s Legacy
出版社：Cambridge, UK : Cambridge University Press, c2016.
ISBN：9781107168022
出版年：2016
作者：Hjek,Petr.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Gödel ''96 : logical foundations of mathematics, computer science and physics--Kurt Gödel''s legacy
  • 作者：Hájek,Petr,
  • ISBN：3540614346
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

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

Gödel''s proof
  • 作者：Nagel,Ernest,
  • 出版社：London : Routledge, 1959.
  • 出版年：1959
...

A logical journey : from Gödel to philosophy
  • 作者：Wang,Hao,
  • ISBN：0262231891
  • 出版社：Cambridge, Mass. : MIT Press, ©1996
  • 出版年：1996
...

Elements of Mathematics: From Euclid to G?del
  • 作者：Stillwell,John.
  • ISBN：9780691178547
  • 出版社：Princeton University Press, 2017-11.
  • 出版年：2017
...

Elements of mathematics : from Euclid to G??del
  • 作者：Stillwell,John,
  • ISBN：9780691171685
  • 出版年：2016