We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Authors
  3. Lawrence C. (University of Cambridge) Paulson

Books by Lawrence C. (University of Cambridge) Paulson

Filter
Filter
✕
Sort bySort Popular
  • Logic and Computation af Lawrence C. (University of Cambridge) Paulson
    Logic and Computation
    - Interactive Proof with Cambridge LCF
    by Lawrence C. (University of Cambridge) Paulson
    £47.49

    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.

    More details

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.