Types for Proofs and Programs Editat de Stefano Berardi et al. 15 iun 2004 Paperback Preț: 327.49 lei 409.37 lei 6-8 săpt. -20%