Theorem Proving in Higher Order Logics Editat de Joe Hurd et al. 8 aug 2005 Paperback Preț: 327.49 lei 409.37 lei 6-8 săpt. -20%