Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

Name: Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Author: Paulson, Lawrence C.
ISBN: 9780521395601

Author Paulson, Lawrence C.

Publisher Cambridge University Press

Category Paperback

Shop on Amazon — pick your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇫🇷

Price not available for France

You can still browse on Amazon. Try another country above.

🇨🇦 Canada 🇮🇳 India 🇺🇸 USA

Book Details

Author(s) Paulson, Lawrence C.

Publisher Cambridge University Press

ISBN / ASIN 0521395607

ISBN-13 9780521395601

Category Paperback

Marketplace France 🇫🇷

Ratings & Reviews No reviews yet — be the first!

No reviews yet.

Description

Used Book in Good Condition

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

More Books in Paperback