検索結果 8 件

図書
Mathematical Association of Americac2009.<FC88-B19>
国立国会図書館
  • 内容細目pt. 1. Classroom-tested projects. The game of "Take Away" / Mark MacLean Pile splitting problem: introducing strong induction / Bill Marion Generalizing Pascal: the Euler Triangles / Sandy Norman and Betty Travis Coloring and counting rectangles on the board / Michael A. Jones and Mika Munakata Fun and games with squares and planes / Maureen T. Carroll and Steven T. Dougherty Exploring recursion wit......: (or how to play "One Potato, Two Potato" for keeps) Douglas E. Ensley and James E. Hamblin Using trains to model recurrence relations / Benjamin Sinwell Codon classes / Brian Hopkins How to change coins, M&M's, or chicken n...
  • LCCQA13
  • 件名Mathematics -- Study and teaching (Higher) -- United States. Computer science -- Mathematics -- Study and teaching (Higher) -- United States.
図書
Michael L. O'LearyWileyc2016
全国の図書館
  • 件名Logic, Symbolic and mathematical Set theory
  • 件名(識別子)Logic, Symbolic and mathematical Set theory
  • 一般注記Includes bibliographical references (p. 429-433) and index
図書
Bruno Poizat ; translated [from the French] by Moses KleinSpringerc2000
全国の図書館
  • NACSIS書誌ID(NCID)BA47500394
  • LCCQA9.7
  • 一般注記Includes bibliographical references (p. [419]-427) and indexes
図書
Martin Goldstern, Haim JudahA K Petersc1998
全国の図書館
  • NACSIS書誌ID(NCID)BA47272595
  • LCCQA9.54
  • 件名Incompleteness theorems
図書
Martin Goldstern, Haim JudahA K Petersc1995
全国の図書館
  • NACSIS書誌ID(NCID)BA25487918
  • LCCQA9.54
  • 件名Incompleteness theorems
図書
Yu.I. Manin ; translated from the Russian by Neal KoblitzSpringerc1977
全国の図書館
  • NACSIS書誌ID(NCID)BA00120232
  • LCCQA9
  • 件名Logic, Symbolic and mathematical
図書
by J.L. Bell and M. MachoverNorth-Holland Pub. Co.1977
全国の図書館
  • NACSIS書誌ID(NCID)BA00886425
  • LCCQA9
  • 件名Logic, Symbolic and mathematical

検索結果は以上です。