Higher Order Logic Theorem Proving and Its Applications Editat de Jeffrey J. Joyce et al. 28 apr 1994 Paperback Preț: 334.25 lei 417.82 lei 6-8 săpt. -20%
