Type Theory and Formal Proof: An Introduction Autor Rob Nederpelt et al. 5 noi 2014 Hardback Preț: 503.03 lei 628.78 lei Indisponibil temporar -20%