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.
Jump down to see edition details for First-Order Logic and Automated Theorem Proving: Paperback
Jump down to see edition details for First-Order Logic and Automated Theorem Proving: Hardcover | Paperback
Jump down to see edition details for First-Order Logic and Automated Theorem Proving: Hardcover | Paperback
Bibliographic Detail
Publisher
Springer Verlag
Publication date
June 26, 2013
Pages
326
Binding
Paperback
Edition
2 reprint
Book category
Adult Non-Fiction
ISBN-13
9781461275152
ISBN-10
1461275156
Dimensions
0.75 by 6.50 by 9.25 in.
Weight
1.27 lbs.
Original list price
$99.00
Summaries and Reviews
Editions
Editions for the work First-Order Logic and Automated Theorem Proving
Paperback
The price comparison is for this edition
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
Reprint edition from Springer Verlag (July 31, 2012)
9781468403596 | details & prices | 257 pages | List price $99.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.
Editions for the work First-Order Logic and Automated Theorem Proving
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.
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
The price comparison is for this edition
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.