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