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