eBay |
Logic and Computation: Interactive Proof with Cambridge LCF by Lawrence C. Paulson (Paperback, 1990)
Be the first to write a review.
OUR TOP PICK
$94.43
+ $4.99 postageQuantity
2 available
Condition
Good
Sold by
whattaplace (9773)97.3% Positive Feedback
Delivery
Est. 5 Jul - 14 JulFrom Pueblo, Colorado
Returns
30 days money back
Buyer pays return postage
All listings for this product
Best-selling in Non-Fiction Books
5 Love Languages: The Secret to Love That Lasts by Gary Chapman (Paperback, 2014)
TRENDING PRICE
- AU $22.59New
Vanishing Towns: Tasmania's Ghost Towns and Settlements by Michael Holmes (Hardback, 2014)
TRENDING PRICE
- AU $65.74New
Learn to Draw Birds Bird Anatomy for Artists by Natalia Balo
TRENDING PRICE
- AU $40.21New
Behold a Pale Horse by Milton Cooper (Paperback, 1995)
TRENDING PRICE
- AU $32.54New
The Spinal Nerves Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2001)
TRENDING PRICE
- AU $20.03New
Anatomy of the Heart Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2004)
TRENDING PRICE
- AU $19.65New
Save on Non-Fiction Books
The Book of Answers by Carol Bolt.
AU $28.70Trending at AU $30.82Becoming A Supple Leopard Starrett Kelly 9781628600834
AU $52.98Trending at AU $78.83Key Muscles of Yoga: Your Guide to Functional Anatomy in Yoga by Ray Long...
AU $44.50Trending at AU $52.90Wing Chun: Traditional Chinese Kung Fu for Self-Defense and Health Ip Chun/ Mich
AU $26.88Trending at AU $29.35The Art of the Last of Us Naughty Dog Studios (Corporate Author)/ Edidin, Rachel
AU $44.27Trending at AU $52.87Huggens Kim/ Dunne Erik C.-Illuminati Tarot Kit (US IMPORT) ACC NEW
AU $36.48Trending at AU $41.21The Trigger Point Therapy Workbook: Your Self-Treatment Guide for Pain Relief by
AU $36.16Trending at AU $37.52
You may also like
About this product
Description
- DescriptionThis 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 detational 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.
Key Features
- Author(s)Lawrence C. Paulson
- PublisherCambridge University Press
- Date of Publication26/07/1990
- LanguageEnglish
- FormatPaperback
- ISBN-100521395607
- ISBN-139780521395601
- SubjectComputing: General
- Series TitleCambridge Tracts in Theoretical Computer Science
- Series Part/Volume Number2
Publication Data
- Place of PublicationCambridge
- Country of PublicationUnited Kingdom
- ImprintCambridge University Press
- Content Notebibliography, index
Dimensions
- Weight580 g
- Width174 mm
- Height247 mm
- Spine17 mm
Credits
- Series Edited byC. J. Van Rijsbergen,S. Abramsky,P. H. Aczel,J. W. de Bakker,Y. Gurevich,J. V. Tucker
Editorial Details
- Format DetailsTrade paperback (US)
This item doesn't belong on this page.
Thanks, we'll look into this.