Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification
  • 洋書

Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification  Hardcover,  言語:ENG

Mainzer, Klaus (EDT)/ Schwichtenberg, Helmut (EDT)/ Schuster, Peter Michael (EDT)

  • ウェブストア価格 ¥28,514(本体¥25,922)
  • World Scientific Publishing Co Pte Ltd(2021/08発売)
  • ポイント 259pt
  • 海外取次在庫
古代ギリシアの数学とヘレニズムの美学<br>Ludic Proof : Greek Mathematics and the Alexandrian Aesthetic
  • 洋書

古代ギリシアの数学とヘレニズムの美学
Ludic Proof : Greek Mathematics and the Alexandrian Aesthetic
 Paperback,  言語:ENG

Netz, Reviel

  • ウェブストア価格 ¥6,355(本体¥5,778)
  • Cambridge University Press(2021/07発売)
  • ポイント 57pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。