Theorem Proving in Higher Order Logics Editat de Yves Bertot et al. sep 1999 Paperback Preț: 395.69 lei 43-57 zile