Higher Order Logic Theorem Proving and Its Applications Editat de Thomas F. Melham et al. 7 sep 1994 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
