First-Order Schemata and Inductive Proof Analysis

First-Order Schemata and Inductive Proof Analysis
Autor
Alexander Leitsch, David Michael Cerna, Anela Lolic
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032057419
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-05741-9