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