Types for Proofs and Programs Editat de Stefano Berardi et al. 2 oct 1996 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%