There are lots of great material on Logic for Computer Science subject in the internet, buts its always a challenge to figure out a ready list of top books on Logic for Computer Science that one can refer to immediately. Even though online materials are good, but nothing can beat the depth of coverage that a book can offer. Hence, we researched the list of Logic for Computer Science books which are used by students worldwide and came up with top 10 Book Recommendations on Logic for Computer Science subject. These books can be used as a great starting point for anyone studying Logic for Computer Science and can also be used as a ready reference for Under-Graduate and Post-Graduate programs.
Most of these Logic for Computer Science books are also in the best-seller lists in Amazon website. We have added a brief description of these best books and have also included direct links to Amazon site (as affiliate). This allows anyone to directly visit the site and order printed copies of these best books.
Here is the full list of best reference books on Logic for Computer Science.
|1. “Logic in Computer Science: Modelling and Reasoning about Systems” by Michael Huth and Mark Ryan|
|2. “Logics for Computer Science” by Arindama Singh|
|3. “Symbolic Logic and Mechanical Theorem Proving” by C. L. Chang and R. C. T. Lee|
|4. “Mathematical Logic for Computer Science” by M. Ben-Ari|
|5. “Model Checking” by E. M. Clarke Jr., Orna Grumberg and D. A. Peled
Book Review:The book presents model checking as a process for verifying finite state concurrent systems which include sequential circuit designs and various communication protocols. Model checking provides an edge over simulation, testing and deductive reasoning methods. This book deals with state space explosion problem and presents the systems in which components interact with each other. This book provides comprehensive presentation of the theory and practice of model checking. The book also includes basic as well as state of art techniques and algorithms which serves as a good reference for students and researchers.
|6. “Introduction to Mathematical Logic” by E. Mendelson|
|7. “Mathematical Logic for Computer Science” by Chung-WAN Lu|
|8. “Logic for Computer Science and Artificial Intelligence” by Ricardo Caferra|
|9. “Handbook of Logic in Computer Science” Dov M Gabbay Samson Abramsky|
|10. “Handbook of Logic and Proof Techniques for Computer Science” by S G Krantz Steven G Krantz Krantz|
If any more book needs to be added to the list of best books on Logic for Computer Science Subject, please let us know.
Sanfoundry Global Education & Learning Series – Best Reference Books!