Handbook of Automated Reasoning Editat de Rachel Phillips 25 aug 2025 Hardback Preț: 1020.45 lei 1325.25 lei 17-23 zile -23%