Rewriting, Computation and Proof Editat de Hubert Comon-Lundh et al. 22 iun 2007 Paperback Preț: 321.74 lei 402.18 lei 6-8 săpt. -20%