Logic for Computer Science: Foundations of Automatic Theorem Proving

This book is a new addition to the Harper & Row Computer Science and Technology Series, and is intended for senior undergraduates or first-year graduate students. It is an introduction to mathematical logic, with some computer science applications. The first chapter sets the goals for the book, which include explanations of proof theory, model theory, and automatic theorem providing for those formulas that are true. The second chapter is designed as an introduction for the novice to those mathematical concepts used throughout the rest of the book. The author says, "This fairly lengthy chapter has been included in order to make this book as self-contained as possible. Readers with a firm mathematical background may skim or even skip this chapter entirely."