Rewriting, Computation and Proof Editat de Hubert Comon-Lundh et al. 22 iun 2007 Paperback Preț: 321.74 lei 402.18 lei 43-57 zile -20%