Handbook of Automated Reasoning Handbook of Automated Reasoning, nr. II Editat de Alan J.A. Robinson et al. 20 iun 2001 Hardback Preț: 1150.79 lei 1311.32 lei 5-7 săpt. -12%
