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

Investigations into the Predicate Calculus  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥3,558(本体¥3,235)
  • 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,442(本体¥4,948)
  • College Publications(2020/07発売)
  • ポイント 49pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structural Proof Theory
  • 洋書

Structural Proof Theory  Paperback,  言語:ENG

Negri, Sara/ von Plato, Jan

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

  • ウェブストア価格 ¥27,894(本体¥25,359)
  • Cambridge University Press(2011/09発売)
  • ポイント 253pt
  • 海外取次在庫
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,551(本体¥25,956)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 259pt
  • オンデマンド(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,078(本体¥10,980)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。