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,789(本体¥10,718)
  • Cambridge University Press(2014/06発売)
  • ポイント 107pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Investigations into the Predicate Calculus
  • 洋書

Investigations into the Predicate Calculus  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥3,603(本体¥3,276)
  • College Publications(2022/12発売)
  • ポイント 32pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Modal Logic, Volume 13
  • 洋書

Advances in Modal Logic, Volume 13  Paperback

Olivetti, Nicola(EDT)/ Verbrugge, Rineke(EDT)/ Negri, Sara(EDT)

  • ウェブストア価格 ¥5,512(本体¥5,011)
  • College Publications(2020/07発売)
  • ポイント 50pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structural Proof Theory
  • 洋書

Structural Proof Theory  Paperback,  言語:ENG

Negri, Sara/ von Plato, Jan

  • ウェブストア価格 ¥14,237(本体¥12,943)
  • Cambridge University Press(2008/07発売)
  • ポイント 129pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥28,252(本体¥25,684)
  • Cambridge University Press(2011/09発売)
  • ポイント 256pt
  • 海外取次在庫
Mathesis Universalis, Computability and Proof (Synthese Library)
  • 洋書
  • 電子版あり

Mathesis Universalis, Computability and Proof (Synthese Library)  Hardcover,  言語:ENG

Centrone, Stefania (EDT)/ Negri, Sara (EDT)/ Sarikaya, Deniz (EDT)

  • Springer Nature Switzerland AG(2019/11発売)
  • ご注文いただけません
Mathesis Universalis, Computability and Proof (Synthese Library)
  • 洋書

Mathesis Universalis, Computability and Proof (Synthese Library)  Paperback,  言語:ENG

Centrone, Stefania (EDT)/ Negri, Sara (EDT)/ Sarikaya, Deniz (EDT)

  • ウェブストア価格 ¥28,917(本体¥26,289)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 262pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Das, Anupam (EDT)/ Negri, Sara (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 111pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。