Theorem Proving in Higher Order Logics Editat de Victor A. Carreno et al. 7 aug 2002 Paperback Preț: 324.45 lei 405.57 lei 6-8 săpt. -20%