Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs by Mauricio Ayala-Rincón Back to product details page >
