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