First-Order Schemata and Inductive Proof Analysis Computer Science Foundations and Applied Logic Autor Alexander Leitsch et al. 3 ian 2026 Hardback Preț: 912.51 lei 1200.66 lei 38-44 zile -24%
