Types for Proofs and Programs Editat de Stefano Berardi et al. 19 iun 2009 Paperback Preț: 336.75 lei 420.93 lei 43-57 zile -20%