Types for Proofs and Programs Editat de Thierry Coquand et al. 13 dec 2000 Paperback Preț: 316.49 lei 395.62 lei 43-57 zile -20%