Here is the full list 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|
|5. “Logic for Programming and Automated Reasoning” by Voronkov Parigot Voronkov Parigot|
|6. “Automated Reasoning in Higher-Order Logic” by Brown|
|7. “Handbook of Automated Reasoning” by Andrei Voronkov A Voronkov A Robinson|
|8. “Automated Reasoning with Analytic Tableaux and Related Methods” by Kai Brunnler, George Metcalfe|
|9. “Automated reasoning: Introduction and applications” by Larry Wos and Ross Overbeek|
|10. “Automated Reasoning: 33 Basic Research Problems” by Larry Wos|
If any more book needs to be added to the list of best books on Symbolic Logic and Automated Reasoning Subject, please let us know.
Sanfoundry Global Education & Learning Series – Best Reference Books!