Go?del’s proof

出版社:New York : New York University Press, 1986.
ISBN:0814758169
出版年:1986
作者:Nagel,Ernest
资源类型:图书
细分类型:西文文献
相关推荐

Gödel''s proof

  • 作者:Nagel,Ernest,
  • 出版社:London : Routledge, 1959.
  • 出版年:1959

Let''s go to the desert

  • 作者:Huntington,H.E.
  • ISBN:CNY 0.00
  • 出版社:Doubleday and Company, 1949.
  • 出版年:1949

Let''s go to the desert

  • 作者:Huntington,H.E.
  • 出版社:Doubleday and Company, 1949.
  • 出版年:1949

Proof

  • 作者:Francis,Dick
  • ISBN:0449207544
  • 出版社:New York : Ballantine Books, 1986, c1985
  • 出版年:1986

Proof in VDM : a practitioner''s guide

  • 作者:Bicarregui,Juan C.
  • ISBN:038719813X
  • 出版社:London ; New York : Springer-Verlag, c1994.
  • 出版年:1994

Proof, logic, and conjecture : the mathematician’s toolbox

  • 作者:Wolf.,Robert S.
  • ISBN:0716730502
  • 出版社:New York : W.H. Freeman and Company, 1998.
  • 出版年:1998