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