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発売)
  • ご注文いただけません