Logic Computation Interactive Proof by Paulson Lawrence (13 results)
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 80.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 83.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 85.07
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 79.66
US$ 15.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 79.64
US$ 20.01 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 93.18
US$ 11.99 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.…; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 320 pages, bibliography, index. BIC Classification: PBCD; UKD; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 580. . 2008. Revised ed. paperback. . . . .
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 92.13
US$ 20.01 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 111.35
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.…; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 320 pages, bibliography, index. BIC Classification: PBCD; UKD; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 580. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 1987
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Fair
US$ 100.11
US$ 41.88 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780521346320.
Language: English
Published by Cambridge University Press, 1987
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: thebookforest.com, San Rafael, CA, U.S.A.thebookforest.com
Contact seller4-star sellerCondition: Used - Very good
US$ 169.99
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 114.30
US$ 72.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 mathemat…ical 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.
Language: English
Published by Cambridge Univ Pr, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 78.84
US$ 16.67 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 320 pages. 9.75x7.50x0.75 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 1990
Series: Cambridge Tracts in Theoretical Computer Science, Book 3 of 40. Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 88.51
US$ 22.48 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
