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