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