1129902

9780521395601

Logic and Computation Interactive Proof With Cambridge Lcf
Logic and Computation Interactive Proof With Cambridge Lcf
$62.65
$3.95 Shipping
  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    85%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee
$116.46
$3.95 Shipping
  • Condition: Good
  • Provider: Rentals Express Contact
  • Provider Rating:
    0%
  • Ships From: Multiple Locations
  • Shipping: Standard, Expedited
  • Comments: All orders ship SAME or NEXT business day! Ships with Tracking Number! May not contain Access Codes or Supplements. 100% Satisfaction Guaranteed!

   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: 9780521395601
  • ISBN: 0521395607
  • Publisher: Cambridge University Press

AUTHOR

SUMMARY

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.Paulson, L. C. is the author of 'Logic and Computation Interactive Proof With Cambridge Lcf' with ISBN 9780521395601 and ISBN 0521395607.

[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.