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