Applied Proof Theory : Proof Interpretations and Their Use in Mathematics (Springer Monographs in Mathematics)
  • 洋書
  • ポイントキャンペーン

Applied Proof Theory : Proof Interpretations and Their Use in Mathematics (Springer Monographs in Mathematics)  Paperback,  言語:ENG

Kohlenbach, Ulrich

  • ウェブストア価格 ¥30,353(本体¥27,594)
  • Springer(2010/10発売)
  • ポイント 1,375pt
  • 海外取次在庫
Logic Colloquium 2007 (Lecture Notes in Logic)
  • 洋書
  • ポイントキャンペーン

Logic Colloquium 2007 (Lecture Notes in Logic)  Paperback,  言語:ENG

Delon, Françoise (EDT)/ Kohlenbach, Ulrich (EDT)/ Maddy, Penelope (EDT)

  • ウェブストア価格 ¥10,188(本体¥9,262)
  • Cambridge University Press(2014/03発売)
  • ポイント 460pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Kohlenbach, Ulrich (EDT)/ Barceló, Pablo (EDT)/ de Queiroz, Ruy J G B (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/07発売)
  • ポイント 540pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Libkin, Leonid (EDT)/ Kohlenbach, Ulrich (EDT)/ de Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥10,839(本体¥9,854)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 490pt
  • 海外取次在庫
論理学会議2007<br>Logic Colloquium 2007 (Lecture Notes in Logic)
  • 洋書
  • ポイントキャンペーン

論理学会議2007
Logic Colloquium 2007 (Lecture Notes in Logic)
 Hardcover,  言語:ENG

Delon, Françoise (EDT)/ Kohlenbach, Ulrich (EDT)/ Maddy, Penelope (EDT)

  • ウェブストア価格 ¥30,355(本体¥27,596)
  • Cambridge University Press(2010/06発売)
  • ポイント 1,375pt
  • 海外取次在庫