This book mainly provides the underpinnings for propositional logic, first order logic, all the way from the most basic premises virtually leaving no step unproven, building up to a basic (yet rigorously proven) discussion of basic unification and resolution. It then culminates in a discussion of SLD Resolution, Prolog's main vehicle of computation, and ends off with a concise discussion of many-sorted first order logic (a first order logic incorporating types).
The flow and writing in doing so, are really exemplary. It is probably also an excellent course book too, given that almost every definition is followed or preceded by a good example, and good exercises are given at the endings of sections.
That said, if your aims in reading this book are very different than being able to prove various things about propositional logic and first order logic, you may only use this book for solid background; discussion of actual algorithms is confined to succinct comments of the basic algorithms presented, whereas outside of SLD Resolution, later algorithmic advances may be described as out of scope. So while being excellent as per the praise above, in a certain vein, there's little in this book alone to meet many basic concerns of a computer science reader, except for being an invaluable source for the purposes already mentioned.
I should probably very humbly say that for practical logic algorithms' design and research, this book may serve as foundational background, probably as in being necessary yet insufficient. Alas for such a complicated topic, where even basic feats require so much build up, one cannot possibly expect to study from only a single book!
Enjoy fast, FREE delivery, exclusive deals and award-winning movies & TV shows with Prime
Try Prime
and start saving today with Fast, FREE Delivery
Logic for Computer Scienc... has been added to your Cart
Loading your book clubs
There was a problem loading your book clubs. Please try again.
Not in a club? Learn more
Join or create book clubs
Choose books together
Track your books
Bring your club to Amazon Book Clubs, start a new book club and invite your friends to join, or find a club that’s right for you for free.
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required. Learn more
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
Flip to back Flip to front
Follow the Author
Something went wrong. Please try your request again later.
Frequently bought together
- +
Total price:
To see our price, add these items to your cart.
Choose items to buy together.
Customers who viewed this item also viewed
Page 1 of 1 Start overPage 1 of 1
About the author
Follow authors to get new release updates, plus improved recommendations.
Top reviews from other countries
Ali Amaniss
An Introduction to Gödel’s Theorems
Reviewed in Canada 🇨🇦 on April 8, 2022
