Alexander Leitsch

Books
First-Order Schemata and Inductive Proof Analysis First-Order Schemata and Inductive Proof Analysis
First-Order Schemata and Inductive Proof Analysis
2026
Methods of Cut-Elimination Methods of Cut-Elimination
Methods of Cut-Elimination
2011