Theorem Proving in Higher Order Logics Editat de Victor A. Carreno et al. 7 aug 2002 Paperback Preț: 324.45 lei 405.57 lei 43-57 zile -20%