Books by Alexander Leitsch
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-20% with code BOOKS
In stock at our supplier
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-20% with code BOOKS
In stock at our supplier
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-20% with code BOOKS
In stock at our supplier
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-20% with code BOOKS
In stock at our supplier
First-Order Schemata and Inductive Proof Analysis
David Michael Cerna, Alexander Leitsch, Anela Lolic
-20% with code BOOKS
In stock at our supplier