Type Theory and Formal Proof Autor Rob Nederpelt et al. 14 mar 2016 Hardback Preț: 535.13 lei 668.91 lei 6-8 săpt. -20%