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

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 343pt
  • ご予約受付中。出版後の入荷・発送