Types for Proofs and Programs Editat de Stefano Berardi et al. 15 iun 2004 Paperback Preț: 327.49 lei 409.37 lei 43-57 zile -20%