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