First-Order Schemata and Inductive Proof Analysis Computer Science Foundations and Applied Logic Autor Alexander Leitsch et al. 13 ian 2026 Hardback Preț: 1006.97 lei 1258.72 lei Nepublicat încă -20% Precomandă
