Alexander Leitsch / David Michael Cerna / Anela Lolic
First-Order Schemata and Inductive Proof Analysis
- Birkhäuser
- 2026
- Gebunden
- 256 Seiten
- ISBN 9783032057402
171,19
€
inkl. MwSt.zzgl. Versand
Auf Lager