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

Gödel''s proof
出版社：London : Routledge, 1959.
出版年：1959
作者：Nagel,Ernest,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Go?del’s proof
  • 作者：Nagel,Ernest
  • ISBN：0814758169
  • 出版社：New York : New York University Press, 1986.
  • 出版年：1986
...

Extensional Gödel functional interpretation; a consistency proof of classical analysis.
  • 作者：Luckhardt,Horst.
  • ISBN：0387061193
  • 出版社：Berlin, New York, Springer-Verlag, 1973.
  • 出版年：1973
...

Gödel''s way : exploits into an undecidable world
  • 作者：Chaitin,Gregory J.
  • ISBN：9780415690850
  • 出版社：Boca Raton : CRC Press, c2012.
  • 出版年：2012
...

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC ''97, Vienna, Austria, August
  • 作者：Gottlob,Georg
  • ISBN：3540633855
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997
...

Gödel ''96 : logical foundations of mathematics, computer science and physics - Kurt Gödel''s Legacy
  • 作者：Hjek,Petr.
  • ISBN：9781107168022
  • 出版社：Cambridge, UK : Cambridge University Press, c2016.
  • 出版年：2016
...

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