Books like Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
If you loved Applied Logic for Computer Scientists Computational Deduction and Formal Proofs by Mauricio Ayala-Rincón, this shelf of 24 books shares the same pull — rooted in Discrete Mathematics, Information Technology, Computer Science, and Mathematics.
Top related books to Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Strong read-alikes chosen for how closely they echo the themes and feel of Applied Logic for Computer Scientists Computational Deduction and Formal Proofs.
A curated shelf of 24 read-alikes for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs by Mauricio Ayala-Rincón — spanning Discrete Mathematics, Information Technology, Computer Science and featuring authors such as Duc T. Nguyen, L. Jean Camp, Partha Niyogi, Richard J. Lipton, and others.
