Theorem Proving in Higher Order Logics Editat de Joe Hurd et al. 8 aug 2005 Paperback Preț: 327.49 lei 409.37 lei 43-57 zile -20%