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