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