Higher Order Logic Theorem Proving and Its Applications Editat de E. Thomas Schubert et al. 23 aug 1995 Paperback Preț: 328.10 lei 410.13 lei 43-57 zile -20%