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