Theorem Proving in Higher Order Logics Editat de Yves Bertot et al. sep 1999 Paperback Preț: 379.35 lei 6-8 săpt.