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