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

Undecidable theories
出版社：Amsterdam : North-Holland pub. co., 1953.,[S.l.] : [s.n.], [n.d.].
出版年：1953
作者：Tarski,Alfred
资源类型：图书
细分类型：西文文献,馆内阅览
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

On formally undecidable propositions of principia mathematica and related systems
  • 作者：Godel,Kurt
  • 出版社：Edinburgh : Oliver & Boyd, 1962
  • 出版年：1962
...

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

Sentences undecidable in formalzed arithmetic : an exposition of the theory of Kurt Godel
  • 作者：Mostowski,Andrzej.
  • 出版社：Amsterdam : North-Holland pub. co., 1952.
  • 出版年：1952
...

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

Simple theories
  • 作者：Wagner,Frank O.
  • ISBN：0792362217
  • 出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
  • 出版年：2000
...

Theories for planning
  • 作者：McConnell,S.
  • 出版社：London: Heinemann, c1981.
  • 出版年：1981