Browse / Computers / A Computational Logic Handbook / 2nd Edition
A Computational Logic Handbook 9780121229559

A Computational Logic Handbook | 2nd Edition

ISBN-10: 0121229556
ISBN-13: 9780121229559
PUBLISHER: Elsevier Science & Technology Books
Also available at
Note: Not guaranteed to come with supplemental materials (access codes, CDs, DVDs)
Product Description: This book provides the definitive documentation for one of the most well-known and highly regarded theorem-proving programs ever written. The program described is one of the more significant, enduring, and prize-awarded accomplishments in the fields of artificial intelligence, formal methods, and applied logic. The book provides an exact statement of the logic for which the program is a prover, a complete description of the user's commands, installation instructions, and much tutorial information, including references to thousands of pages of examples. Among the examples is a formally verified microprocessor and a formally verified compiler targeting that microprocessor. The second edition of A Computational Logic handbook provides all the information necessry for using the most recently releases version of Nqthm, the freely available"Boyer-Moore"theorem-proving program. The second edition includes a precise description of all recent changes to the logic in the past nine years, including many enhanced syntactic features and rules of inference, which were added to support work on large scale projects in formal methods. Thousands of pages of fascinating, exemplary, mathematically-checked input are described, examples that deal with very difficult questions in formal mehtods and mathematics. New material includes: Description of the new syntax, including COND, CASE, LET, LIST*, and backquote; describes some higher order inference procedures, including"constrained functions"and"functional instantiation"; documents more sophisticated control machinery for manipulating very large theories; introduces a secure proof-checking environment; describes thousands of pages of fascinating example input dealing with very difficult questions in formal methods and mathematics; provides a formal parserfor the syntax; compares the proof complexity of many interesting checked examples; includes much new tutorial help, especially for the many new features. A computational logic is a mathematical logic that is both oriented towards discussion of computation and mechanised so that proofs can be checked by computation. The computational logic discussed in the handbook is that developed by Boyer & Moore. The first edition, published in 1988, is an acknowledged classic in the field of formal methods and computational logic. However it no longer reflects existing technology. The second edition provides a complete overview of the Boyer/Moore theorem proving approach (Nqthm) and provides examples. It includes several significant new features that have been aded to the Nquthm system since 1988. The book is structured in thefollowing way: Part 1 discusses logic without regard for its mechanisation and answers the question what are the axioms and rules of inference? Part 2 discusses its mechanisation and answers the question how does one use the Boyer/Moore theorem prover to prove theorems?

Additional Details

PAGES: 518
CATEGORY: Computers

21 Day Unconditional Guarantee

any book, any reason

Rent This Book Now:

Price guaranteed for 45:00 longer
Due May 15 $88.72
130 days (due Jul 8) $98.80
85 days (due May 24) $89.91
55 days (due Apr 24) $85.95
Select Your Own Date

Buy this book used:


List Price: $74.00
Your Savings:
Total Price:

REVIEWS for A Computational Logic Handbook 2nd Edition

Select a star rating


1. How do textbook rentals work?
It’s simple. Begin by searching for your textbook by ISBN (10 or 13-digit number that can be found on the back cover of each book), title, author or keyword. Next select how long you would like to rent the book then add it to your cart. Repeat for each book you’re looking for. After completing the order we’ll ship them to you and you’ll also receive a prepaid mailer. Return your books in the mailer by your rental due date.
2. Is renting a textbook better than purchasing it?
We offer both! You can buy or rent the book through Campus Book Rentals. It’s up to you to decide which option best meets your educational needs.
3. How do I track my order?
Login to your account here, you’ll see your current rentals listed textbook rentals listed with a yellow box that says “track”. Click the box to view the tracking number. *Not all books will have a tracking number since they may be sent from one of our partners. Tracking numbers will be updated as they become available.
4. How do I return my books?
When you rent textbooks from Campus Book Rentals you’ll receive a prepaid mailer. When it’s nearing your due date you’ll place your books inside the mailer and take it to the nearest USPS drop box or Post Office. If you don’t receive a mailer you can print a return label from your account. Return shipping is prepaid so please use either of the two methods to ensure they arrive at the correct facility.
5. Can I write or highlight in my book?
Of course! Just remember that future students will rent the same book after you, so please be respectful.
6. How much money can renting my books save?
It depends on the book. Generally renting textbooks can save you up to 80% compared to a new textbook.
7. Are Campus Book Rentals’ books the same as my bookstore’s?
Yes! We only ship US edition textbooks, which are the same as your campus bookstore.
8. Do access codes or other supplements come with a textbook rental?
One time use access codes and other supplemental materials are NOT included with rental books and must be purchased separately.
9. What if I don’t return my rental?
If your book rental is not returned by the due date, your credit card will be charged a non-return fee, equal to the replacement value for the book.
10. Can I purchase my book after I rent it?
Certainty! You’re only charged the difference between what you already paid and the value of the book at the time you initially rented. Login to your account and choose to purchase your book and it’ll walk you through the checkout process.

Textbook Rentals

We know that textbook rentals are the best way currently to distribute high quality textbooks, and we want to have you on board! Join over a million students that have saved money by renting! Not only is it better for you, but when you return it that book can go on to help even more students access affordable education. We're confident we offer the best value in rentals, but if you're not a believer you can always return your book for a no questions asked refund within 21 days.

Why Choose Us?

1. Campus Book Rentals pioneered the idea of textbook rentals, making prices significantly cheaper for every student while still maintaining the highest quality. We've been at it since 2007 and the entire industry has had to adapt to keep up.

2. Though keeping prices low has always been the goal, we can boast an excellent support team that has helped thousands of students get the best value for their education. Chat with them at 855-200-0021 or use our chat box.

3. We practice what we preach. We routinely read our own textbooks to further our own education while at work. We know that only with a well-educated team of individuals can we continue to change the industry for the better.

Make A Difference

At Campus Book Rentals our company is guided by a single question, "How are we making education more affordable?" We know that getting a college education is quickly becoming a rite of passage for students and is becoming more important every year. In order to make education more attainable for the 99%, we started renting textbooks so students could avoid high purchase prices and buyback programs. We know it's a better way, and we're going to show everyone how to make a college education affordable again.