512347

9780521395380

Clausal Theory of Types
Clausal Theory of Types
$11.84
$3.95 Shipping
List Price
$71.00
Discount
83% Off
You Save
$59.16

  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.

   30-day money back guarantee
$23.88
$3.95 Shipping
List Price
$71.00
Discount
66% Off
You Save
$47.12

  • Condition: Good
  • Provider: Ergodebooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9780521395380
  • ISBN: 0521395380
  • Publisher: Cambridge University Press

AUTHOR

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' with ISBN 9780521395380 and ISBN 0521395380.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.