Proof logic and conjecture : the mathematician’s toolbox

出版社:New York : W.H. Freeman and Company, 1998.
ISBN:0716730502
出版年:1998
作者:Wolf.,Robert S.
资源类型:图书
细分类型:西文文献
相关推荐

Logic for mathematician

  • 作者:Hamilton,A. G
  • ISBN:0521368650
  • 出版社:New York: Cambridge University Press, 1988
  • 出版年:1988

The Bieberbach conjecture : proceedings of the Symposium on the Occasion of the Proof

  • 作者:Symposium on the Occasion of the Proof
  • ISBN:0821815210
  • 出版社:Providence, R.I. : American Mathematical Society, c1986.
  • 出版年:1986

Proof, logic and formalization

  • 作者:Detlefsen,Michael.
  • ISBN:9781138009073
  • 出版社:New York : Taylor & Francis, 2015.
  • 出版年:2015

Language, Proof, and Logic

  • 作者:David Barker-Plummer.
  • ISBN:9781575866321
  • 出版社:University of Chicago Press. c2011
  • 出版年:2011

The Linux Programmer''''s Toolbox

  • 作者:Fusco,John
  • ISBN:0132198576 pbk CNY307.00
  • 出版社:Boston : Prentice Hall, 2007.
  • 出版年:2007

The mathematician''s brain

  • 作者:Ruelle,David.
  • ISBN:9780691129822
  • 出版社:Princeton : Princeton University Press, c2007.
  • 出版年:2007