Theorem Proving in Higher Order Logics Editat de Jim Grundy et al. 9 sep 1998 Paperback Preț: 332.21 lei 415.26 lei 6-8 săpt. -20%