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