Types for Proofs and Programs Editat de Stefano Berardi et al. 19 iun 2009 Paperback Preț: 336.75 lei 420.93 lei 6-8 săpt. -20%