Types for Proofs and Programs Editat de Paul Callaghan et al. 20 feb 2002 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
