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