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ț: 291.69 lei 364.61 lei 43-57 zile -20%