First-Order Logic and Automated Theorem Proving

by Melvin Fitting

Book Overview

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien- tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro- gram verification to logic...

• Format: Paperback
• Language: English
• ISBN: 1461275156
• ISBN13: 9781461275152
• Release Date: June 2013
• Publisher: Springer
• Length: 326 Pages
• Weight: 1.22 lbs.
• Dimensions: 0.7" x 6.7" x 9.6"