Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Undergraduate Topics in Computer Science Autor Mauricio Ayala-Rincón et al. 13 feb 2017 Paperback Preț: 297.66 lei 372.08 lei 6-8 săpt. -20%