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 6-8 săpt. -20%