Here is the listing 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|
Sanfoundry Global Education & Learning Series – Best Reference Books!