30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Clausal Theory of Types






Publisher:  Cambridge University Press
Summary: Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types, and derives a form of logic programming that incorporates functional programming. The book can be used for graduate courses in theorem-proving, but will... be of interest to all working in declarative programming.

Wolfram, D. A. is the author of Clausal Theory of Types, published under ISBN 9780521395380 and 0521395380. Eighty three Clausal Theory of Types textbooks are available for sale on ValoreBooks.com, one used from the cheapest price of $23.88, or buy new starting at $46.67.
 [read more]

Marketplace Prices
82 New from $46.67 1 Used from $23.88
  • Used $23.88
  • New $46.67
Price + Shipping
Product Details
Clausal Theory of Types

ISBN-13: 9780521395380

ISBN: 0521395380

Publisher: Cambridge University Press
Valore Books is the top book store for cheap Clausal Theory of Types rentals, or used and new condition books available to purchase and have shipped quickly.
Where's My Stuff?
Shipping & Returns