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
July 1, 1990
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9780387972336
ISBN-10
0387972331
Availability§
Out of Print
Original list price
$35.00
Other format details
sci/tech
§As reported by publisher
Summaries and Reviews
Amazon.com description: Product Description: This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to automated theorem proving are considered and usable programs in Prolog are provided. This material can be used both as a first text in formal logic and as an introduction to automation issues, and is intended for those interested in computer science and mathematics at the beginning graduate level. The book begins with propositional logic, then treats first-order logic, and finally, first-order logic with equality. In each case the initial presentation is semantic: Boolean valuations for propositional logic, models for first-order logic, and normal models when equality is added. This defines the intended subjects independently of a particular choice of proof mechanism. Then many kinds of proof procedures are introduced: tableau, resolution, natural deduction, Gentzen sequent and axiom systems. Completeness issues are centered in a model existence theorem, which permits the coverage of a variety of proof procedures without repetition of detail. In addition, results such as compactness, interpolation, and the Beth definability theorem are easily established. Implementations of tableau theorem provers are given in Prolog, and resolution is left as a project for the student.
Editions
Hardcover
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.
The price comparison is for this edition
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.