Theorem Proving in Higher Order Logics Editat de Jim Grundy et al. 9 sep 1998 Paperback Preț: 332.21 lei 415.26 lei 43-57 zile -20%