Symbolic Logic and Mechanical Theorem Proving Autor Chin-Liang Chang et al. 31 mai 1973 Paperback Preț: 415.88 lei 467.28 lei Indisponibil temporar -11%