Leitsch, Alexander / Cerna, David Michael et al. First-Order Schemata and Inductive Proof Analysis. Birkhäuser, 2026.
eng

Alexander Leitsch / David Michael Cerna / Anela Lolic

First-Order Schemata and Inductive Proof Analysis

  • Birkhäuser
  • 2026
  • Gebunden
  • 256 Seiten
  • ISBN 9783032057402

Auf Lager