Alexander Leitsch — Books & Biography | Menrva Books | MenrvaBooks

Alexander Leitsch

Is this your author profile? Create an account to customize it!

Stand Alone

Methods of Cut-Elimination

Automated reasoning

Computational Logic and Proof Theory Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.