Symbolic Logic and Mechanical Theorem Proving Autor Chin-Liang Chang et al. 11 iun 1973 Paperback Preț: 425.84 lei 478.48 lei Indisponibil temporar -11%