Structural Proof Theory
  • 洋書

Structural Proof Theory  Paperback,  言語:ENG

Negri, Sara/ von Plato, Jan

  • ウェブストア価格 ¥13,426(本体¥12,206)
  • Cambridge University Press(2008/07発売)
  • ポイント 122pt
  • 海外取次在庫
論理的推論の基礎<br>Elements of Logical Reasoning
  • 洋書
  • 電子版あり

論理的推論の基礎
Elements of Logical Reasoning
 Hardcover,  言語:ENG

von Plato, Jan

  • ウェブストア価格 ¥21,398(本体¥19,453)
  • Cambridge University Press(2014/01発売)
  • ポイント 194pt
  • 海外取次在庫
Proof Analysis : A Contribution to Hilbert's Last Problem
  • 洋書

Proof Analysis : A Contribution to Hilbert's Last Problem  Hardcover,  言語:ENG

Negri, Sara/ von Plato, Jan

  • ウェブストア価格 ¥26,643(本体¥24,221)
  • Cambridge University Press(2011/09発売)
  • ポイント 242pt
  • 海外取次在庫
Proof Analysis : A Contribution to Hilbert's Last Problem
  • 洋書

Proof Analysis : A Contribution to Hilbert's Last Problem  Paperback,  言語:ENG

Negri, Sara/ von Plato, Jan

  • ウェブストア価格 ¥11,118(本体¥10,108)
  • Cambridge University Press(2014/06発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Investigations into the Predicate Calculus
  • 洋書

Investigations into the Predicate Calculus  Paperback,  言語:ENG

Ketonen, Oiva/ Negri, Sara (EDT)/ Von Plato, Jan (EDT)

  • ウェブストア価格 ¥3,399(本体¥3,090)
  • College Publications(2022/12発売)
  • ポイント 30pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ゲーデル不完全性定理にいたる講義・メモ(英訳)<br>Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)
  • 洋書

ゲーデル不完全性定理にいたる講義・メモ(英訳)
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)
 Hardcover

von Plato, Jan

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 114pt
  • 海外取次在庫
ゲーデル不完全性定理にいたる講義・メモ(英訳)<br>Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)
  • 洋書

ゲーデル不完全性定理にいたる講義・メモ(英訳)
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)
 Paperback

von Plato, Jan

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 114pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ゲーデルのノート:基礎に基づく結果<br>Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
  • 洋書

ゲーデルのノート:基礎に基づく結果
Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
 Hardcover

Hämeen-Anttila, Maria (EDT)/ von Plato, Jan (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 381pt
  • 海外取次在庫
Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)
  • 洋書
  • 電子版あり

Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)  Hardcover

von Plato, Jan

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 324pt
  • 海外取次在庫
Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)
  • 洋書

Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)  Paperback

von Plato, Jan

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 324pt
  • 海外取次在庫