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 43-57 zile -20%
