ゲーデルと数学の基礎<br>Kurt Gödel and the Foundations of Mathematics : Horizons of Truth
  • 洋書

ゲーデルと数学の基礎
Kurt Gödel and the Foundations of Mathematics : Horizons of Truth
 Paperback,  言語:ENG

Baaz, Matthias (EDT)/ Papadimitriou, Christos H. (EDT)/ Putnam, Hilary W. (EDT)

  • ウェブストア価格 ¥17,832(本体¥16,211)
  • Cambridge University Press(2014/03発売)
  • ポイント 162pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Methods of Cut-Elimination (Trends in Logic) (2011)
  • 洋書

Methods of Cut-Elimination (Trends in Logic) (2011)  Paperback,  言語:ENG

Baaz, Matthias/ Leitsch, Alexander

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer(2013/02発売)
  • ポイント 209pt
  • 海外取次在庫
ゲーデルと数学の基礎<br>Kurt Gödel and the Foundations of Mathematics : Horizons of Truth
  • 洋書
  • 電子版あり

ゲーデルと数学の基礎
Kurt Gödel and the Foundations of Mathematics : Horizons of Truth
 Hardcover,  言語:ENG

Baaz, Matthias (EDT)/ Papadimitriou, Christos H. (EDT)/ Putnam, Hilary W. (EDT)

  • ウェブストア価格 ¥35,664(本体¥32,422)
  • Cambridge University Press(2011/06発売)
  • ポイント 324pt
  • 海外取次在庫
Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Pro
  • 洋書

Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Pro  Paperback,  言語:ENG

Baaz, Matthias/ Makowsky, Johann A. (EDT)/ Workshop on Computer Scienc

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer-Verlag New York Inc(2003/09発売)
  • ポイント 209pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 : Proce
  • 洋書

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 : Proce  Paperback,  言語:ENG

Lpar 200 (2002 Tbilisi, Georgia)/ Baaz, Matthias (EDT)/ Baaz, Matthias

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag New York Inc(2003/03発売)
  • ポイント 104pt
  • 海外取次在庫