Programming Books C Java PHP Python Learn more Browse Programming Books
Handbook of Practical Logic and Automated Reasoning and over one million other books are available for Amazon Kindle. Learn more
Buy New
$171.88
Qty:1
  • List Price: $186.00
  • Save: $14.12 (8%)
Only 6 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Add to Cart
Trade in your item
Get a $50.62
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Handbook of Practical Logic and Automated Reasoning Hardcover – April 13, 2009

ISBN-13: 978-0521899574 ISBN-10: 0521899575 Edition: 1st

Buy New
Price: $171.88
16 New from $142.12 14 Used from $139.44
Amazon Price New from Used from
Kindle
"Please retry"
Hardcover
"Please retry"
$171.88
$142.12 $139.44

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student



Customers Who Bought This Item Also Bought

NO_CONTENT_IN_FEATURE

Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Hardcover: 702 pages
  • Publisher: Cambridge University Press; 1 edition (April 13, 2009)
  • Language: English
  • ISBN-10: 0521899575
  • ISBN-13: 978-0521899574
  • Product Dimensions: 9.8 x 7.1 x 1.6 inches
  • Shipping Weight: 3.1 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #1,486,444 in Books (See Top 100 in Books)

Editorial Reviews

Review

"Valuable as both a strong introduction for complete beginners and a rich reference source, even for expert logicians."
D.V. Feldman, CHOICE

" [...] if you want to implement ATP (automated theorem proving) code this book is an excellent choice. It has complete implementations of absolutely everything in OCaml (a dialect of ML, a mostly functional programming language) which is an excellent choice for this type of application."
D. Fox, amazon.com

"[...] sure to fill a need for a well-rounded work that can serve both as a reference on a range of topics and as an introductory text, especially for those who wish to study the subject for its possible practical uses. [...] Good features of the book are its overall readability, the good historical perspective conveyed while retaining its serious scholarly gravitas, and the use of OCaml to work with the concepts, presented alongside."
Shrisha Rao, Computing Reviews

"Harrison exhibits both the remarkable flexibility and limitations of OCaml (and other languages) for automated theorem proving. [...] I strongly recommend Harrison's handbook to mathematicians working on provability, computer program developers working to establish self-coherence of some parts of their programs, and students looking to understand propositional and first-order logic."
Arturo Ortiz-Tapia, Computing Reviews

"[...] the book is remarkable in many ways, including the breadth of its scope, the depth of its insights, and the clarity and readability of its prose. [...] while Harrison does focus on implementation and practical issues, he does not skimp on the underlying theory; indeed, the text passes between the two poles with surprising fluidity. The book does not assume background in logic, and appendices review the requisite background in mathematics and programming. As a result, the text is accessible to a broad audience, including sufficiently advanced undergraduates. [...] Harrison does a very good job of providing broader context and pointers to the literature. Each section ends with copious notes and references. As a result, the book can serve as a helpful introduction to the contemporary literature, like having a friendly uncle working in the field. [...] It provides a lucid and synoptic overview of these topics, conveys a solid theoretical background, provides tools for experimentation, and offers notes and pointers that facilitate a smooth transition to the contemporary literature. [...] Anyone working in automated reasoning, or looking to come up to speed on developments in the field, will want to have a copy at hand."
Jeremy Avigad, Theory and Practice of Logic Programming

"Overall this is an excellent book that provides a wide-ranging view on automated reasoning techniques for classical logic. The author achieves a good balance between providing good intuition and rigour in presenting the selected materials. Its breadth will make sure that even an expert in the area will find something useful in the book."
Alwen Tiu, The Bulletin of Symbolic Logic

Book Description

A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5.0 out of 5 stars
5 star
2
4 star
0
3 star
0
2 star
0
1 star
0
See both customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

7 of 7 people found the following review helpful By Georg on May 23, 2011
Format: Hardcover
This book is an excellent introduction into the world of automated theorem proving. The author takes it slowly, building up from the very basics, but the book is still very complete and covers most relevant topics (with the exception of modern SMT solvers, perhaps, which only get a rather meagre coverage -- I'd recommend Kroening and Strichman's book on decision procedures as a complement to Harrison's book). Harrison's book is also complete in the sense that there's an implementation for _every_ algorithm described in this book (so, you'll have a hard time finding a handwavy description). Some people might frown upon the use of OCaml instead of a more widely used language like C++ or Java, but, let's be honest, nobody wants to read pages of source code and class definitions if there's a programming language which is designed for the job and can describe ATP algorithms much more succinctly. While reading the book you can basically build your own automated theorem prover from scratch. The disadvantage of this approach is that, if you just want to read up on some more sophisticated decision procedures, you'll more often than not find yourself looking up the implementation of certain basic functions in the earlier chapters of the book. Keep that in mind if you want to use the book as a reference rather than as a tutorial (I'm not saying that it can't be used as a reference, however, it can sometimes turn out to be a bit time-consuming to look up things). Finally, I really like Harrison's writing style. It's always a joy to read this book, and it's very much to the point and never over-burdened (but there are many cross-references if you want to dig deeper). This book is a 'must-have' for everyone who's interested in automated decision procedures.
3 Comments Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
7 of 8 people found the following review helpful By D. Fox on August 18, 2010
Format: Hardcover Verified Purchase
I've only just received this book, but after a few hours I can say that if you want to implement ATP (automated theorem proving) code this book is an excellent choice. It has complete implementations of absolutely everything in OCaml (a dialect of ML, a mostly functional programming language) which is an excellent choice for this type of application. Almost as good as Haskell (I kid.) Chang and Lee is a great book, but forty years have passed...
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Customer Images

Search