search for books and compare prices
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Bibliographic Detail
Publisher
Springer Verlag
Publication date
November 1, 1995
Pages
326
Binding
Hardcover
Edition
2 sub
Book category
Adult Non-Fiction
ISBN-13
9780387945934
ISBN-10
0387945938
Dimensions
1 by 7.25 by 9.75 in.
Weight
1.60 lbs.
Availability§
Publisher Out of Stock
Original list price
$99.00
§As reported by publisher
Summaries and Reviews
Amazon.com description: Product Description: 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.
Editions
Hardcover
The price comparison is for this edition
2 sub edition from Springer Verlag (November 1, 1995)
9780387945934 | details & prices | 326 pages | 7.25 × 9.75 × 1.00 in. | 1.60 lbs | List price $99.00
About: There are many kinds of books on formal logic.
About: There are many kinds of books on formal logic.
from Springer Verlag (July 1, 1990)
9780387972336 | details & prices | List price $35.00
About: This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style.
About: This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style.
Paperback
With Melvin Fitting |
2 reprint edition from Springer Verlag (June 26, 2013)
9781461275152 | details & prices | 326 pages | 6.50 × 9.25 × 0.75 in. | 1.27 lbs | List price $99.00
This edition also contains First-Order Logic and Automated Theorem Proving
This edition also contains First-Order Logic and Automated Theorem Proving
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.