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ț: 286.39 lei 357.99 lei 6-8 săpt. -20%