Types for Proofs and Programs Editat de Stefano Berardi et al. 2 oct 1996 Paperback Preț: 322.80 lei 403.50 lei 43-57 zile -20%