Types for Proofs and Programs Editat de Paul Callaghan et al. 20 feb 2002 Paperback Preț: 318.94 lei 398.67 lei 43-57 zile -20%