+ wishlist Add to Cart The item has been added Author: Alexander Leitsch David Michael Cerna Anela Lolic First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic) [9783032057402] List Price As Low as $179.99 Format: Hardcover