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