Symbolic Logic and Mechanical Theorem Proving Autor Chin-Liang Chang et al. 15 iun 1973 Hardback Preț: 333.70 lei 362.71 lei 5-7 săpt. -8%