First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
  • 洋書
  • 予約
  • ポイントキャンペーン

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Leitsch, Alexander/ Cerna, David Michael/ Lolic, Anela

  • Springer Nature Switzerland AG(2026/01発売)
  • ご注文いただけません
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)  Paperback

Herausgeber: Gottlob, Georg, Mundici, Daniele, Leitsch, Alexander

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 254pt
  • 海外取次在庫