Types for Proofs and Programs Editat de Eduardo Gimenez et al. 7 oct 1998 Paperback Preț: 325.69 lei 407.10 lei 6-8 săpt. -20%