Symbolic Logic and Mechanical Theorem Proving Autor Chin-Liang Chang et al. 15 iun 1973 Hardback Preț: 333.34 lei 362.33 lei 36-50 zile -8%
