Type Theory and Formal Proof: An Introduction Autor Rob Nederpelt et al. 5 noi 2014 Hardback Preț: 524.01 lei 655.01 lei 6-8 săpt. -20%