Close Bookish App

Bookish AppRead more and better

Download
Google 4.7
★★★★★
Google reviews
Menu User
Search
Subscribe now Subscribe now
Logo Alibri Llibreria Close
My basket

You're only away from earning your free shipping!

Free shipping

Free shipping

🎉 Congratulations! You've earned free shipping.

Free shipping

Free shipping

You're only away from earning your gift!

Gift

Gift

🎉 Congratulations! You've earned your free shipping and a gift.

Gift

Gift

Shipping costs Mainland Spain

Total

Taxes included

Checkout
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Like

Book Details

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.
Read more

  • Author Lawrence C. (University Of Cambridge) Paulson
  • ISBN13 9780521395601
  • ISBN10 0521395607
  • Pages 320
  • Published 1990
  • Fecha de publicación 26/07/1990
  • Language German, French
Read more

Reviews and ratings

Be the first to rate it!

Have you read Logic and Computation: Interactive Proof with Cambridge LCF?

Bookish APP iOS Bookish APP Android
Logic and Computation: Interactive Proof with Cambridge LCF
Like

Logic and Computation: Interactive Proof with Cambridge LCF (German, French)

64,22€ 67,60€ -5%
Shipping Free
Not available
64,22€ 67,60€ -5%
Shipping Free
Not available
  • Visa
  • Mastercard
  • Klarna
  • Bizum
  • American Express
  • Paypal
  • Google Pay
  • Apple Pay
Free returns Info
Thank you for shopping at real bookstores! Thank you for shopping at real bookstores!

More books by Lawrence C. (University Of Cambridge) Paulson

Exclusive promotions, discounts, and news in our newsletter

Formats (0 results)
X

Talk to your bookseller
Do you need help finding a book?
Do you want a personal recommendation?

Whatsapp