A Computational Logic Handbook

A Computational Logic Handbook

5 (1 rating by Goodreads)
By (author)  , By (author) 

List price: US$74.01

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


A Computational Logic Handbook was published in 1988 and is an acknowledged classic in the field of formal methods and computational logic. This revised edition describes the new syntax, including COND, CASE, LET, LIST* and backquote; depicts some higher order inference procedures, including 'constrained functions' and 'functional instantiation'; documents more sophisticated control machinery for manipulating very large theories and introduces a secure proof-checking environment; provides a formal parser for the syntax and compares the proof complexity of many checked examples; includes much new tutorial help, especially for the new features.This book is essential to the user of the Boyer-Moore theorem-prover because it provides both the only statement of the logic and the only explanation of the available user commands.
show more

Product details

  • Hardback | 512 pages
  • 157.48 x 236.22 x 27.43mm | 925.32g
  • Academic Press Inc
  • San Diego, United States
  • English
  • Revised
  • 2nd Revised edition
  • 0121229556
  • 9780121229559

About R. Boyer

By John S. Boyer, and Hal G. Moore
show more

Rating details

1 ratings
5 out of 5 stars
5 100% (1)
4 0% (0)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X