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)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
Advances in Modal Logic, Volume 13
  • 洋書

Advances in Modal Logic, Volume 13  Paperback

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

  • ウェブストア価格 ¥5,198(本体¥4,726)
  • College Publications(2020/07発売)
  • ポイント 47pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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発売)
  • ご注文いただけません
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
  • 海外取次在庫
Structural Proof Theory
  • 洋書

Structural Proof Theory  Paperback,  言語:ENG

Negri, Sara/ von Plato, Jan

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

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 247pt
  • オンデマンド(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)

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