Here is the listing of Best reference books on Symbolic Logic and Automated Reasoning.
|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. “Mathematical Logic for Computer Science” by M. Ben-Ari|
|4. “Introduction to Mathematical Logic” by E. Mendelson|
Sanfoundry Global Education & Learning Series – Best Reference Books!