Types for Proofs and Programs Editat de Eduardo Gimenez et al. 7 oct 1998 Paperback Preț: 325.69 lei 407.10 lei 43-57 zile -20%