ゲーデルと数学の基礎<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,472(本体¥15,884)
  • Cambridge University Press(2014/03発売)
  • ポイント 158pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Methods of Cut-Elimination (Trends in Logic) (2011)
  • 洋書

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

Baaz, Matthias/ Leitsch, Alexander

  • ウェブストア価格 ¥22,609(本体¥20,554)
  • Springer(2013/02発売)
  • ポイント 205pt
  • 海外取次在庫
ゲーデルと数学の基礎<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)

  • ウェブストア価格 ¥34,945(本体¥31,769)
  • Cambridge University Press(2011/06発売)
  • ポイント 317pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥22,609(本体¥20,554)
  • Springer-Verlag New York Inc(2003/09発売)
  • ポイント 205pt
  • 海外取次在庫
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,303(本体¥10,276)
  • Springer-Verlag New York Inc(2003/03発売)
  • ポイント 102pt
  • 海外取次在庫