Items related to First-Order Logic and Automated Theorem Proving (Texts...
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science) - Hardcover
Synopsis
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 programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it? We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.
"synopsis" may belong to another edition of this title.
- PublisherSpringer Verlag
- Publication date1990
- ISBN 10 0387972331
- ISBN 13 9780387972336
- BindingHardcover
- LanguageEnglish
Other Popular Editions of the Same Title
Search results for First-Order Logic and Automated Theorem Proving (Texts...
Stock Image
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-598-105
Quantity: 1 available
Seller Image
First-Order Logic and Automated Theorem Proving
Published by
Springer Verlag, New York, 1990
ISBN 10: 0387972331
ISBN 13: 9780387972336
Used
Hardcover
First Edition
Seller: Works on Paper, DeKalb, IL, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy. Seller Inventory # 014467
Quantity: 1 available
Seller Image
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. 242 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe. Seller Inventory # 388362
Quantity: 1 available