Types for Proofs and Programs Editat de Thierry Coquand et al. 13 dec 2000 Paperback Preț: 317.47 lei 396.84 lei 6-8 săpt. -20%