Interactive Theorem Proving Lecture Notes in Computer Science, nr. 10895 Editat de Jeremy Avigad et al. 4 iul 2018 Paperback Preț: 587.67 lei 734.59 lei 6-8 săpt. -20%