Automated Deduction - CADE-14 Editat de William McCune 18 iun 1997 Paperback Preț: 356.52 lei 445.65 lei 6-8 săpt. -20%