Adapting Proofs-as-Programs Autor Iman Poernomo et al. 29 iul 2005 Hardback Preț: 1003.36 lei 1254.20 lei 6-8 săpt. -20%