The book is currently out of stock
More about the book
Focusing on automated theorem proving in classical logic, this book serves computer scientists while also appealing to philosophers and mathematicians. It provides a theoretical treatment of formal logic, emphasizing truth in mathematical discourse and exploring models and their properties. Although not a practical guide, it addresses how-to issues and covers essential proof techniques, including completeness, making it suitable for those seeking a comprehensive understanding of formal logic within various fields of computer science.
Book purchase
First-Order Logic and Automated Theorem Proving, Melvin Fitting
- Language
- Released
- 2013
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.